Translate the following inference to logic notation: If John were bored, then it is sunny. If John drives a car, then it is snowing. If Charles were an office clerk, then John is bored. Charles is an office clerk or John is driving a car. If it snows, then John is bored. Therefore it is sunny.
p -> q. r -> s. t -> p. t or r. s -> p. Therefore q.