WolframAlpha computational knowledge AI
(p implies q) implies ((p and q and r) implies q)