Premise: All transactions were entered in their books.

Hypothesis: The transactions were never recorded.
Relation: contradiction