Input: They said that Tom wouldn't pay up, but he did go to the bank, and he did pay up.
Output: 1