Translate the following inference to logic notation: Mary is playing tennis if and only if Mary is a lawyer. Mary is not playing tennis. Thomas is sleeping or Mary is a lawyer. Therefore Thomas is sleeping or Robert is bored.
p <-> q. ~p. r or q. Therefore r or s.