premise: Four ferry boats are docked at a visitor's center with passengers waiting to board. hypothesis: There are no passengers waiting.
contradiction: On the boats, there cannot be passengers waiting and no passengers waiting.