Premise: At least he actually joined the military.

Hypothesis: There are no militaries in which he joined.
Relation: contradiction