Translate the following inference to logic notation: Linda is sleeping or Linda is a carpenter. Joseph is playing tennis. Linda is not sleeping. If Patricia were a sailor, then Joseph is not playing tennis. Therefore Patricia is not a sailor and Linda is a carpenter.
p or q. r. ~p. s -> ~r. Therefore ~s and q.