Translate the following inference to logic notation: It is not windy. John is poor if and only if it is windy. Mary is a doctor. If Patricia takes a plane, then Mary is not a doctor. Therefore Patricia is not taking a plane and John is not poor.
~p. q <-> p. r. s -> ~r. Therefore ~s and ~q.