premise: A softball player runs towards first base while the pitcher attempts to throw her out. hypothesis: A softball player is struck out.
contradiction: If a softball player is still running towards first base they cannot have been struck out yet.