Input: Willy is taller than Bill by as much as it is believed that Joe is taller than Dan.
Output: 1