Translate the following inference to logic notation: Robert is playing tennis if and only if Patricia is climbing a mountain. Patricia is not climbing a mountain. Therefore Robert is not playing tennis or it is late.
p <-> q. ~q. Therefore ~p or r.