Premise: other documents in various formats

Hypothesis: All the files are the same format.
Relation: contradiction