Translate the following inference to logic notation: James is running. Michael is not taking a plane. Michael is taking a plane if and only if Sarah is drinking water. Sarah is drinking water or Karen is driving a car. Therefore James is running.
p. ~q. q <-> r. r or s. Therefore p.