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