Translate the following inference to logic notation: Susan is a server. If Michael climbs a mountain, then David is a mechanic. If Susan were a server, then Mary is taking a plane. If Mary takes a plane, then David is a mechanic. Therefore David is a mechanic.
p. q -> r. p -> s. s -> r. Therefore r.