Input: Wilt is taller than I believe that Bill is.
Output: 1