Comment by tomoyoirl

Maybe you could train it explicitly on modus ponens et alia.