premise: A train flies bu a man in a olive green officers uniform. hypothesis: The train is decommissioned and stationary.
contradiction: A train cannot fly a man nor can the train move if it is decommissioned and stationary.