Translate the following inference to logic notation: If it is overcast, then it is raining. It is overcast or it is windy. If it is windy, then it is raining. Susan is not taking a plane. William is cooking if and only if Susan is taking a plane. Therefore William is not cooking and it is raining.
p -> q. p or r. r -> q. ~s. t <-> s. Therefore ~t and q.