Translate the following inference to logic notation: If Karen were excited, then Richard is poor. Richard is not poor. Mary is sleeping. If William plays tennis, then Karen is excited. Therefore Mary is sleeping and William is not playing tennis.
p -> q. ~q. r. s -> p. Therefore r and ~s.