Translate the following inference to logic notation: Thomas is not a lawyer or it is cold. Mary is a doctor if and only if it is windy. Thomas is a lawyer or Mary is a doctor. It is not windy. Therefore it is cold.
~p or q. r <-> s. p or r. ~s. Therefore q.