Premise: Some machines have an automatic thread-trimmer to do this step; if not, then the threads must be cut and the finished work put in an appropriate pile to be tied together when all the pieces of the bundle have been finished.

Hypothesis: Every machine has an automatic thread-trimmer to do this step.
Relation: contradiction