story: [Mary] and her daughter [Patricia] like to look at the stars on clear nights. [Mary] often borrows the telescope that belongs to her brother, [Stephen], so they can see the stars better. [Paul] watched the football game with his son [Stephen]. [Paul]'s daughter [Mary] was bored and played with her phone instead. [Patricia] wanted to visit her grandmother [Nettie], but [Nettie] was asleep.
clean_story: [Mary] and her daughter [Patricia] like to look at the stars on clear nights. [Mary] often borrows the telescope that belongs to her brother, [Stephen], so they can see the stars better. [Patricia] wanted to visit her grandmother [Nettie], but [Nettie] was asleep.
proof_state: [{('Stephen', 'mother', 'Nettie'): [('Stephen', 'sister', 'Mary'), ('Mary', 'mother', 'Nettie')]}, {('Mary', 'mother', 'Nettie'): [('Mary', 'daughter', 'Patricia'), ('Patricia', 'grandmother', 'Nettie')]}]