Premise: On Dave's world, the cardinal rule of logic was that the symbol was not the thing--and work done on symbols had to be translated by hard work into reality.

Hypothesis: On Dave's world, the symbol was not real.
Relation: entailment