Translate the following inference to logic notation: It is cold if and only if Richard is playing tennis. If it is cold, then Linda is not a sailor. Linda is a sailor. Therefore Richard is not playing tennis or Robert is driving a car.
p <-> q. p -> ~r. r. Therefore ~q or s.