Premise:  "Deposit.

Hypothesis: Withdraw.
Relation: contradiction