Translate the following inference to logic notation: Joseph is a scientist if and only if John is taking a plane. It is not overcast. If it is windy, then Joseph is a scientist. It is overcast or John is not taking a plane. Therefore it is not windy.
p <-> q. ~r. s -> p. r or ~q. Therefore ~s.