Translate the following inference to logic notation: Jessica is making tea if and only if Patricia is taking a plane. It is sunny if and only if Patricia is taking a plane. Jessica is not making tea. Thomas is listening to a song. Therefore it is not sunny and Thomas is listening to a song.
p <-> q. r <-> q. ~p. s. Therefore ~r and s.