(A implies B) implies C