Premise: Maybe things were really more logical here where the symbol was the thing, and all the steps in between thought and result were saved.

Hypothesis: The process seemed more logical.
Relation: entailment