story: [Marian] and her son, [Jack], went to the park, and had a wonderful time. [Donna]'s son [Philip] is turning nine today, so she is throwing him a party. [Philip] took his son [Jack] out for ice cream.
clean_story: [Marian] and her son, [Jack], went to the park, and had a wonderful time. [Philip] took his son [Jack] out for ice cream. [Donna]'s son [Philip] is turning nine today, so she is throwing him a party.
proof_state: [{('Marian', 'mother', 'Donna'): [('Marian', 'son', 'Jack'), ('Jack', 'grandmother', 'Donna')]}, {('Jack', 'grandmother', 'Donna'): [('Jack', 'father', 'Philip'), ('Philip', 'mother', 'Donna')]}]