Translate the following inference to logic notation: If James drinks water, then Michael is a scientist. Mary is a poet or James is drinking water. Michael is a scientist or Michael is not playing tennis. Mary is not a poet or Michael is playing tennis. Therefore Michael is a scientist.
p -> q. r or p. q or ~s. ~r or s. Therefore q.