Translate the following inference to logic notation: Jennifer is poor or James is not taking a plane. If Jennifer were poor, then Thomas is a writer. James is taking a plane. Therefore Thomas is a writer.
p or ~q. p -> r. q. Therefore r.