Premise:  "Deposit.
Hypothesis: Withdraw.
Label: contradiction