Premise: The percentage that comes from mining revenue is somewhat less than that.

Hypothesis: The percentage that comes from mining revenue is quite large.
Relation: contradiction