Translate the following inference to logic notation: If John sleeps, then it is snowing. If it snows, then Robert is a police officer. It is not snowing. If it is sunny, then John is sleeping. If Robert were a police officer, then it is sunny. Therefore it is not sunny or Mary is a scientist.
p -> q. q -> r. ~q. s -> p. r -> s. Therefore ~s or t.