Premise: A server at a diner cleaning countertops.
Hypothesis: A server is not cleaning.
Relationship: contradiction