Translate the following inference to logic notation: Elisabeth is an astronaut or David is not a poet. If Elisabeth were an astronaut, then William is running. It is cloudy if and only if David is a poet. William is not running. Therefore it is not cloudy.
p or ~q. p -> r. s <-> q. ~r. Therefore ~s.