Translate the following inference to logic notation: Susan is taking a plane. If it is late, then Susan is not taking a plane. Patricia is playing tennis. Therefore Patricia is playing tennis.
p. q -> ~p. r. Therefore r.