Translate the following inference to logic notation: If it is windy, then Robert is poor. Richard is a nurse or Karen is a mechanic. It is windy. It is overcast or Richard is not a nurse. If Karen were a mechanic, then it is overcast. Therefore it is overcast and Robert is poor.
p -> q. r or s. p. t or ~r. s -> t. Therefore t and q.