Translate the following inference to logic notation: Thomas is taking a plane or William is not poor. If it rains, then Thomas is taking a plane. It is cloudy or it is raining. If it is cloudy, then William is poor. Therefore Thomas is taking a plane.
p or ~q. r -> p. s or r. s -> q. Therefore p.