Translate the following inference to logic notation: If Patricia were a poet, then Joseph is making tea. If it is cloudy, then it is sunny. It is cloudy or Patricia is a poet. It is not sunny. Therefore Joseph is making tea.
p -> q. r -> s. r or p. ~s. Therefore q.