6 ms·Maybe you could train it explicitly on modus ponens et alia.by tomoyoirl 2y agoMaybe you could train it explicitly on modus ponens et alia.