Input: Wilt is taller than it is generally believed that Bill is.
Output: 1