story: [Kathleen] and her son [William] went out to lunch together yesterday. [John] was so excited to surprise his son, [William], with the tickets to the playoffs. [John] and his mother, [Donna], went to a pet store. [John] wanted a parrot, but his mom got him a smaller bird instead.
clean_story: [Kathleen] and her son [William] went out to lunch together yesterday. [John] was so excited to surprise his son, [William], with the tickets to the playoffs. [John] and his mother, [Donna], went to a pet store. [John] wanted a parrot, but his mom got him a smaller bird instead.
proof_state: [{('Kathleen', 'mother', 'Donna'): [('Kathleen', 'son', 'William'), ('William', 'grandmother', 'Donna')]}, {('William', 'grandmother', 'Donna'): [('William', 'father', 'John'), ('John', 'mother', 'Donna')]}]