Input: Willy is taller than Bill by as much as I know a boy who thinks that Bill is taller than Dan.
Output: 0