Premise: A System of Logic

Hypothesis: The system is logical.
Relation: entailment