WolframAlpha computational knowledge AI
((E and not C) implies D)