story: [Howard] went to lunch with his aunt [Marian]. [Marian] took her father, [Henry], out to dinner. [Howard] took his favorite son [Wayne] to a baseball game where he caught a foul ball as a souvenir.
clean_story: [Howard] took his favorite son [Wayne] to a baseball game where he caught a foul ball as a souvenir. [Howard] went to lunch with his aunt [Marian]. [Marian] took her father, [Henry], out to dinner.
proof_state: [{('Wayne', 'father', 'Henry'): [('Wayne', 'sister', 'Marian'), ('Marian', 'father', 'Henry')]}, {('Wayne', 'sister', 'Marian'): [('Wayne', 'son', 'Howard'), ('Howard', 'aunt', 'Marian')]}]