Input: I deny that that Bob has some money is certain.
Output: 0