Implies[Implies[A && B, C || D], E]