Translate the following inference to logic notation: If Susan were a writer, then Susan is taking a plane. If Barbara were a soldier, then Susan is taking a plane. It is late. Susan is a writer or Barbara is a soldier. Therefore Susan is taking a plane.
p -> q. r -> q. s. p or r. Therefore q.