story: [Wayne] and his son [Howard] went to the cinema together. [Henry] took his son [Wayne] out for ice cream. [Johanna] and her son, [Howard], went to the park to fly a kite. They had fun doing it all day.
clean_story: [Johanna] and her son, [Howard], went to the park to fly a kite. They had fun doing it all day. [Wayne] and his son [Howard] went to the cinema together. [Henry] took his son [Wayne] out for ice cream.
proof_state: [{('Johanna', 'father', 'Henry'): [('Johanna', 'son', 'Howard'), ('Howard', 'grandfather', 'Henry')]}, {('Howard', 'grandfather', 'Henry'): [('Howard', 'father', 'Wayne'), ('Wayne', 'father', 'Henry')]}]