Translate the following inference to logic notation: Jessica is playing squash if and only if it is late. It is not late. Jessica is playing squash if and only if Michael is rich. Therefore Michael is not rich or John is running.
p <-> q. ~q. p <-> r. Therefore ~r or s.