Input: Harry thinks so, although no one else thinks Sally is innocent.
Output: 0