Translate the following inference to logic notation: Mary is playing a game or it is late. Mary is playing a game if and only if William is playing tennis. William is not playing tennis. Therefore it is late.
p or q. p <-> r. ~r. Therefore q.