Translate the following inference to logic notation: It is cloudy or William is an astronaut. Patricia is not a doctor. If it is cloudy, then Michael is working. Michael is working if and only if Patricia is a doctor. Therefore William is an astronaut.
p or q. ~r. p -> s. s <-> r. Therefore q.