Premise: That is no true symbol!"  "Suppose we substituted bits of the real thing for these representations?" Hanson asked.

Hypothesis: That symbol is not true.
Relation: entailment