Premise: There are keys in some kind of box which is open.
Hypothesis: The box has keys and is closed
Relationship: contradiction