Translate the following inference to logic notation: David is a lawyer if and only if Michael is running. If David were not a lawyer, then it is late. If it is late, then Joseph is taking a plane. Michael is not running. Therefore Joseph is taking a plane.
p <-> q. ~p -> r. r -> s. ~q. Therefore s.