Translate the following inference to logic notation: Michael is a bartender. William is an artist or Michael is not a bartender. Joseph is drinking water. Therefore Joseph is drinking water and William is an artist.
p. q or ~p. r. Therefore r and q.