Translate the following inference to logic notation: If it is sunny, then Thomas is a police officer. Thomas is not a police officer. If Thomas were a police officer, then it is sunny. It is sunny or Patricia is not playing tennis. Therefore Patricia is not playing tennis.
p -> q. ~q. q -> p. p or ~r. Therefore ~r.