Translate the following inference to logic notation: Michael is drinking water if and only if Susan is playing a game. Michael is a server or Susan is not playing a game. Therefore if Michael drinks water, then Michael is a server.
p <-> q. r or ~q. Therefore p -> r.