Translate the following inference to logic notation: If David were a writer, then Susan is a scientist. If Susan were a scientist, then Charles is playing a game. If Sarah were a bartender, then Mary is an electrician. If Charles plays a game, then Sarah is a bartender. Therefore if David were a writer, then Mary is an electrician.
p -> q. q -> r. s -> t. r -> s. Therefore p -> t.