Premise: an an but him could be a her

Hypothesis: A him must be a him.
Relation: contradiction