Translate the following inference to logic notation: John is drinking water or Susan is not excited. James is working or John is not drinking water. Therefore if Susan were excited, then James is working.
p or ~q. r or ~p. Therefore q -> r.