story: [Marian] loves her son [Devin] very much. He loves her, too. [Philip] was out with his son [Devin]. Later that day they went to see [Philip]'s father, [Henry].
clean_story: [Marian] loves her son [Devin] very much. He loves her, too. [Philip] was out with his son [Devin]. Later that day they went to see [Philip]'s father, [Henry].
proof_state: [{('Marian', 'father', 'Henry'): [('Marian', 'son', 'Devin'), ('Devin', 'grandfather', 'Henry')]}, {('Devin', 'grandfather', 'Henry'): [('Devin', 'father', 'Philip'), ('Philip', 'father', 'Henry')]}]