WolframAlpha computational knowledge AI
(p => q => r) and (r => p)