Premise: Robot punch.

Hypothesis: Robots are programmed not to punch.
Relation: contradiction