story: [Alverta] and [Fred] left that evening to go bowling. [Dawn] always goes to the park with her son [Henry] on Saturdays. [Norman] was out with his son [Henry]. Later that day they went to see [Norman]'s father, [Antonio].
clean_story: [Dawn] always goes to the park with her son [Henry] on Saturdays. [Norman] was out with his son [Henry]. Later that day they went to see [Norman]'s father, [Antonio].
proof_state: [{('Dawn', 'father', 'Antonio'): [('Dawn', 'son', 'Henry'), ('Henry', 'grandfather', 'Antonio')]}, {('Henry', 'grandfather', 'Antonio'): [('Henry', 'father', 'Norman'), ('Norman', 'father', 'Antonio')]}]