Translate the following inference to logic notation: William is working or Jessica is curious. If William writes a letter, then it is not cloudy. It is cloudy. Jessica is curious if and only if Linda is sad. If William works, then Linda is sad. Therefore Linda is sad and William is not writing a letter.
p or q. r -> ~s. s. q <-> t. p -> t. Therefore t and ~r.