story: [Robert] bought a new dress for his daughter [Rachel]. [Norman] was out with his son [John]. Later that day they went to see [Norman]'s father, [Antonio]. [Dawn] loves her son [John] very much. He loves her, too.
clean_story: [Dawn] loves her son [John] very much. He loves her, too. [Norman] was out with his son [John]. Later that day they went to see [Norman]'s father, [Antonio].
proof_state: [{('Dawn', 'father', 'Antonio'): [('Dawn', 'son', 'John'), ('John', 'grandfather', 'Antonio')]}, {('John', 'grandfather', 'Antonio'): [('John', 'father', 'Norman'), ('Norman', 'father', 'Antonio')]}]