Translate the following inference to logic notation: If Sarah were a politician, then David is a scientist. David is not a scientist. If David were a scientist, then Sarah is a politician. Therefore Sarah is not a politician or Charles is taking a plane.
p -> q. ~q. q -> p. Therefore ~p or r.