Translate the following inference to logic notation: If Robert were a police officer, then Mary is an artist. Mary is not an artist. Robert is a police officer or Elisabeth is not playing tennis. Therefore Elisabeth is not playing tennis.
p -> q. ~q. p or ~r. Therefore ~r.