Translate the following inference to logic notation: Robert is not a poet. It is cold or it is not overcast. If Robert were a poet, then Robert is a server. Robert is a server if and only if it is cold. If Robert were a server, then Robert is a poet. Therefore it is not overcast.
~p. q or ~r. p -> s. s <-> q. s -> p. Therefore ~r.