story: [Donna]'s son [John] is turning nine today, so she is throwing him a party. [Kathleen] always goes to the park with her son [William] on Saturdays. [John] and his son [William] went to the cinema together.
clean_story: [Kathleen] always goes to the park with her son [William] on Saturdays. [John] and his son [William] went to the cinema together. [Donna]'s son [John] is turning nine today, so she is throwing him a party.
proof_state: [{('Kathleen', 'mother', 'Donna'): [('Kathleen', 'son', 'William'), ('William', 'grandmother', 'Donna')]}, {('William', 'grandmother', 'Donna'): [('William', 'father', 'John'), ('John', 'mother', 'Donna')]}]