Translate the following inference to logic notation: If James plays tennis, then William is a soldier. If Jessica were a musician, then James is playing tennis. Jessica is a musician. Therefore William is a soldier or Joseph is taking a plane.
p -> q. r -> p. r. Therefore q or s.