Translate the following inference to logic notation: If Robert plays squash, then Patricia is playing tennis. Richard is not an artist. Patricia is not playing tennis. Linda is a police officer if and only if Richard is an artist. Therefore Robert is not playing squash and Linda is not a police officer.
p -> q. ~r. ~q. s <-> r. Therefore ~p and ~s.