Translate the following inference to logic notation: Patricia is a poet or Barbara is a police officer. If Patricia were a poet, then it is windy. If Barbara were a police officer, then it is windy. Michael is drinking water. Therefore it is windy and Michael is drinking water.
p or q. p -> r. q -> r. s. Therefore r and s.