Translate the following inference to logic notation: If it is windy, then Sarah is driving a car. It is overcast or it is windy. It is not overcast or Michael is poor. Michael is poor if and only if Sarah is driving a car. Therefore Sarah is driving a car or Susan is making tea.
p -> q. r or p. ~r or s. s <-> q. Therefore q or t.