Premise: If the number of voters is literally infinite, then the conclusion can be overturned.

Hypothesis: The conclusion can be overturned if the number of voters is infinite.
Relation: entailment