Input: Willy is taller than Bill by as much as that Bill is taller than Dan is believed.
Output: 0