Translate the following inference to logic notation: If William were excited, then Barbara is a cashier. It is sunny. If it is sunny, then William is excited. If Barbara were a cashier, then Michael is making tea. Therefore Michael is making tea.
p -> q. r. r -> p. q -> s. Therefore s.