Translate the following inference to logic notation: If Sarah were rich, then James is playing squash. Joseph is playing tennis or Sarah is rich. It is not cold. If Joseph plays tennis, then James is playing squash. It is sunny if and only if it is cold. Therefore it is not sunny and James is playing squash.
p -> q. r or p. ~s. r -> q. t <-> s. Therefore ~t and q.