Premise: Suppose mailers can sort addresses on a computer and then print them in ZIP Code order.

Hypothesis: Mailers couldn't sort addresses on a computer.
Relation: contradiction