Input: Although no one else believes it, Harry believes that Sally is innocent.
Output: 1