Translate the following inference to logic notation: If it is windy, then Jennifer is not a lawyer. John is not taking a plane. It is cloudy. John is taking a plane or Jennifer is a lawyer. Therefore it is not windy and it is cloudy.
p -> ~q. ~r. s. r or q. Therefore ~p and s.