Translate the following inference to logic notation: Thomas is not a sailor or it is sunny. It is late or it is not sunny. It is late if and only if Michael is poor. Thomas is a sailor or Michael is poor. Therefore it is late.
~p or q. r or ~q. r <-> s. p or s. Therefore r.