(A implies B) implies ((C AND A) implies D