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