Translate the following inference to logic notation: It is windy. James is a police officer if and only if Elisabeth is a cashier. Karen is not a janitor. Karen is a janitor if and only if Elisabeth is a cashier. Therefore James is not a police officer and it is windy.
p. q <-> r. ~s. s <-> r. Therefore ~q and p.