Translate the following inference to logic notation: If Mary were a server, then Michael is playing squash. If Sarah were a musician, then Mary is a server. If it is windy, then Sarah is a musician. If Linda were a soldier, then Elisabeth is a cashier. If Michael plays squash, then Linda is a soldier. Therefore if it is windy, then Elisabeth is a cashier.
p -> q. r -> p. s -> r. t -> u. q -> t. Therefore s -> u.