Translate the following inference to logic notation: Thomas is not cooking. It is overcast. It is windy if and only if it is sunny. It is sunny if and only if Thomas is cooking. Therefore it is overcast and it is not windy.
~p. q. r <-> s. s <-> p. Therefore q and ~r.