WolframAlpha computational knowledge AI
(a implies b) implies !(b implies a)