premise: A gondola is steered through the canals with other boats around. hypothesis: A gondola is dry-docked.
contradiction: If the gondola is dry-docked, it cannot be steered through the canals at the same time.