premise: The Whatcom Warrior's Goalie is focused on the puck, in front of the goal post. hypothesis: The goalie is taking a nap.
contradiction: The goalie cannot be taking a nap and focused on the puck in front of the goal post at the same time.