Translate the following inference to logic notation: Robert is drinking water. If Linda plays tennis, then Joseph is an artist. If Joseph were an artist, then Robert is not drinking water. Therefore Linda is not playing tennis.
p. q -> r. r -> ~p. Therefore ~q.