Translate the following inference to logic notation: If it is cloudy, then Thomas is a lawyer. If Thomas were a lawyer, then it is cloudy. For all x, y is not a lawyer. Therefore it is not cloudy or it is late.
p -> P(a). P(a) -> p. forall x: ~P(x). Therefore ~p or q.