((not E and C) implies not D)