Translate the following inference to logic notation: If Michael were a doctor, then Michael is making tea. Robert is a server if and only if Michael is a doctor. William is drinking water or Robert is a server. Michael is making tea if and only if William is drinking water. Therefore Michael is making tea.
p -> q. r <-> p. s or r. q <-> s. Therefore q.