Premise: Computed by subtraction within the same size class.

Hypothesis: Calculated through deduction within a similar size class.
Relation: entailment