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