story: [Henry] and his son [Philip] went to the cinema together. [Joseph] was disappointed that his father, [Philip], would n't be at the play to see him perform. [Marian] was excited to visit her son, [Joseph], at college.
clean_story: [Marian] was excited to visit her son, [Joseph], at college. [Joseph] was disappointed that his father, [Philip], would n't be at the play to see him perform. [Henry] and his son [Philip] went to the cinema together.
proof_state: [{('Marian', 'father', 'Henry'): [('Marian', 'son', 'Joseph'), ('Joseph', 'grandfather', 'Henry')]}, {('Joseph', 'grandfather', 'Henry'): [('Joseph', 'father', 'Philip'), ('Philip', 'father', 'Henry')]}]