Input: Willy is taller than Bill by as much a Peter believes that Billy is taller than Dan.
Output: 1