Translate the following inference to logic notation: If it is cloudy, then it is raining. If it snows, then David is a sailor. If it is windy, then David is a sailor. If it rains, then it is snowing. It is windy or it is cloudy. Therefore David is a sailor.
p -> q. r -> s. t -> s. q -> r. t or p. Therefore s.