Translate the following inference to logic notation: It is overcast or Thomas is working. If Jennifer climbs a mountain, then it is windy. It is not overcast or Jennifer is climbing a mountain. If Thomas works, then it is windy. Therefore it is windy or Mary is making tea.
p or q. r -> s. ~p or r. q -> s. Therefore s or t.