Premise: Then all are accounted for.

Hypothesis: There were several missing. 
Relation: contradiction