Translate the following inference to logic notation: Karen is taking a plane or Karen is a carpenter. Karen is a carpenter if and only if Sarah is playing tennis. If Karen takes a plane, then Sarah is playing tennis. Therefore Sarah is playing tennis.
p or q. q <-> r. p -> r. Therefore r.