Use rules of inference and logical arguments to show that the following statements
imply the conclusion “It snowed”. Explain each step of your reasoning by indicating the rule you
applied.
“If it is not snowy or if it is not rainy, then the race of NASCAR will be held and the laser show
will go on.”
“If the race of NASCAR is held then the champagne will be sprayed.”
“The champagne was not sprayed.”