Input: I deny that it is certain that Bob has any money.
Output: 1