WolframAlpha computational knowledge AI
p => q => r