Translate the following inference to logic notation: Richard is making tea if and only if Charles is an astronaut. Charles is an astronaut if and only if Thomas is playing squash. Richard is not making tea. Therefore Thomas is not playing squash or it is sunny.
p <-> q. q <-> r. ~p. Therefore ~r or s.