Translate the following inference to logic notation: If Elisabeth were an office clerk, then Sarah is excited. If it is windy, then Sarah is excited. William is playing tennis and David is a politician. It is windy or Elisabeth is an office clerk. Therefore Sarah is excited and William is playing tennis.
p -> q. r -> q. s and t. r or p. Therefore q and s.