Could you please elaborate on why do you believe it is a dead end? I'm learning about symbolic logic and I would love to have some pointers on the limitation of the approach... From what I've read to date, it's just too expensive to have a proper rule set, but I haven't found a good discussion on the limitations of the approach!