Translate the following inference to logic notation: If Robert were a carpenter, then Sarah is drinking water. Susan is a writer if and only if Robert is a carpenter. Susan is a writer or Sarah is not drinking water. Therefore if Robert were a carpenter, then Sarah is drinking water.
p -> q. r <-> p. r or ~q. Therefore p -> q.