Translate the following inference to logic notation: Patricia is a taxi driver or Robert is a poet. Patricia is not a taxi driver. It is late. If it is cold, then it is not late. Therefore Robert is a poet.
p or q. ~p. r. s -> ~r. Therefore q.