Input: Bill claims John believes Mary thinks Tom is honest.
Output: 1