Translate the following inference to logic notation: Mary is sleeping or William is not taking a plane. If Susan drinks water, then Mary is sleeping. Susan is drinking water. Therefore Mary is sleeping.
p or ~q. r -> p. r. Therefore p.