Premise: These will fit on one disk.

Hypothesis: These will not be able to fit on the disk.
Relation: contradiction