Translate the following inference to logic notation: If it is late, then Patricia is a poet. It is late and it is cloudy. Therefore Patricia is a poet or Susan is sleeping.
p -> q. p and r. Therefore q or s.