Input: It is not true that that Bob was lying was obvious.
Output: 1