Translate the following inference to logic notation: If David takes a plane, then Joseph is not a janitor. Sarah is a cashier if and only if David is taking a plane. Joseph is a janitor. If Karen were a scientist, then Sarah is a cashier. Therefore Karen is not a scientist.
p -> ~q. r <-> p. q. s -> r. Therefore ~s.