... is B" and "C is both D and E". In other words, the ... the entire statement in parentheses. Then, drop the other half in the necessary ... always implies both D and E. Or in other words, if there ... , then Cs are always Ds and Es.
Contrapositive: /(C ...