Translate the following inference to logic notation: It is not late. If John takes a plane, then Jennifer is an artist. It is late or John is taking a plane. Therefore Jennifer is an artist or Mary is a soldier.
~p. q -> r. p or q. Therefore r or s.