Translate the following inference to logic notation: It is cloudy or Thomas is taking a plane. Jessica is a taxi driver. David is sad. If it is cloudy, then Jessica is not a taxi driver. Therefore Thomas is taking a plane and David is sad.
p or q. r. s. p -> ~r. Therefore q and s.