Translate the following inference to logic notation: It is not raining. If Thomas plays squash, then William is a cashier. William is a cashier if and only if it is raining. It is not overcast. It is snowing if and only if it is overcast. Therefore Thomas is not playing squash and it is not snowing.
~p. q -> r. r <-> p. ~s. t <-> s. Therefore ~q and ~t.