Translate the following inference to logic notation: If Sarah takes a plane, then it is sunny. If Jennifer were not bored, then Sarah is taking a plane. It is snowing if and only if Jennifer is bored. It is not snowing. Therefore it is sunny.
p -> q. ~r -> p. s <-> r. ~s. Therefore q.