Translate the following inference to logic notation: If Barbara were a janitor, then Elisabeth is a soldier. It is sunny if and only if Michael is sleeping. Elisabeth is not a soldier. It is sunny if and only if Barbara is a janitor. Therefore Michael is not sleeping.
p -> q. r <-> s. ~q. r <-> p. Therefore ~s.