Translate the following inference to logic notation: If Mary takes a plane, then Mary is playing tennis. If Thomas sleeps, then Mary is taking a plane. Elisabeth is not a police officer. If Mary plays tennis, then Thomas is sleeping. If Mary takes a plane, then Elisabeth is a police officer. Therefore Thomas is not sleeping.
p -> q. r -> p. ~s. q -> r. p -> s. Therefore ~r.