premise: A waiter bring a full tray of food up stairs. hypothesis: A waiter carries a finished tray of food up stairs.
contradiction: A tray full of food can't be a finished tray of food simultaneously.