Premise: This hypothetical program is for illustration only.

Hypothesis: This program is not an existing program.
Relation: entailment