Translate the following inference to logic notation: If James takes a plane, then James is a taxi driver. If Karen were poor, then James is taking a plane. James is not a taxi driver. If James were a taxi driver, then James is taking a plane. Therefore Karen is not poor.
p -> q. r -> p. ~q. q -> p. Therefore ~r.