Translate the following inference to logic notation: James is an electrician if and only if James is rich. James is rich if and only if it is windy. James is not an electrician. If it is not windy, then Patricia is an astronaut. Therefore Patricia is an astronaut.
p <-> q. q <-> r. ~p. ~r -> s. Therefore s.