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