Translate the following inference to logic notation: If Barbara drinks water, then Michael is a politician. If Michael were a politician, then William is a poet. Barbara is drinking water or William is not a poet. Therefore if William were a poet, then Barbara is drinking water.
p -> q. q -> r. p or ~r. Therefore r -> p.