Translate the following inference to logic notation: Michael is sleeping or Robert is not playing tennis. If Michael sleeps, then Karen is a nurse. Robert is playing tennis. Therefore Karen is a nurse.
p or ~q. p -> r. q. Therefore r.