Translate the following inference to logic notation: If Thomas sleeps, then Patricia is a doctor. Michael is not drinking water. Michael is drinking water if and only if Patricia is a doctor. Thomas is not sleeping if and only if it is sunny. Therefore it is sunny.
p -> q. ~r. r <-> q. ~p <-> s. Therefore s.