Translate the following inference to logic notation: William is sleeping or Karen is not taking a plane. William is sleeping or Jessica is not a soldier. Karen is taking a plane or Jessica is a soldier. Therefore William is sleeping.
p or ~q. p or ~r. q or r. Therefore p.