Translate the following inference to logic notation: If Jennifer were curious, then it is sunny. Karen is playing tennis if and only if John is a mechanic. John is not a mechanic. If it is sunny, then Jennifer is curious. If Jennifer were curious, then Karen is playing tennis. Therefore it is not sunny.
p -> q. r <-> s. ~s. q -> p. p -> r. Therefore ~q.