Translate the following inference to logic notation: If Sarah were a taxi driver, then John is not an electrician. John is an electrician. William is not sad. Thomas is curious if and only if William is sad. Therefore Sarah is not a taxi driver and Thomas is not curious.
p -> ~q. q. ~r. s <-> r. Therefore ~p and ~s.