Input: For John to love Mary would be doubtful.
Output: 1