Translate the following inference to logic notation: If Susan were fast, then Joseph is a bartender. If Richard were a scientist, then Susan is fast. If Barbara takes a plane, then Richard is a scientist. If Joseph were a bartender, then Barbara is taking a plane. Therefore if Susan were fast, then Joseph is a bartender.
p -> q. r -> p. s -> r. q -> s. Therefore p -> q.