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