Translate the following inference to logic notation: If Barbara makes tea, then Richard is sleeping. Robert is not a sailor or Patricia is playing squash. If Patricia plays squash, then it is late. Robert is a sailor or it is cold. If it is late, then Richard is sleeping. It is not cold or Barbara is making tea. Therefore Richard is sleeping.
p -> q. ~r or s. s -> t. r or u. t -> q. ~u or p. Therefore q.