Input: John is leaving but Mary's not.
Output: 1