story: [Philip] took his son [Devin] out for ice cream. [Philip] was disappointed that his father, [Henry], would n't be at the play to see him perform. [Marian] was excited to visit her son, [Devin], at college.
clean_story: [Marian] was excited to visit her son, [Devin], at college. [Philip] took his son [Devin] out for ice cream. [Philip] was disappointed that his father, [Henry], would n't be at the play to see him perform.
proof_state: [{('Marian', 'father', 'Henry'): [('Marian', 'son', 'Devin'), ('Devin', 'grandfather', 'Henry')]}, {('Devin', 'grandfather', 'Henry'): [('Devin', 'father', 'Philip'), ('Philip', 'father', 'Henry')]}]