Solve the following syllogisms by first rewriting each statement as a logical implication, then combining logical implications by transitivity.