Translate the following inference to logic notation: It is not snowing or Robert is driving a car. If William were a nurse, then Thomas is playing squash. Richard is sleeping if and only if Thomas is playing squash. Richard is not sleeping. It is snowing or William is a nurse. Therefore Robert is driving a car.
~p or q. r -> s. t <-> s. ~t. p or r. Therefore q.