Translate the following inference to logic notation: If Elisabeth were a sailor, then Jennifer is cooking. Elisabeth is a sailor if and only if Mary is playing squash. Elisabeth is a sailor or Jennifer is not cooking. Therefore if Mary plays squash, then Jennifer is cooking.
p -> q. p <-> r. p or ~q. Therefore r -> q.