premise: A crowded busy dock with people standing next to a freight car either loading or unloading it.aa. hypothesis: The dock is empty.
contradiction: The dock is either busy or it's empty; not both.