story: [Thomas] went to visit his grandmother, [Patricia], in Europe. [Dawn] bought her nephew, [Ronald], a skateboard for Christmas. [Marissa] took her son [Thomas] to the store. When she got home, she made a sandwich for her husband [Fred].
clean_story: [Marissa] took her son [Thomas] to the store. When she got home, she made a sandwich for her husband [Fred]. [Thomas] went to visit his grandmother, [Patricia], in Europe.
proof_state: [{('Fred', 'mother', 'Patricia'): [('Fred', 'son', 'Thomas'), ('Thomas', 'grandmother', 'Patricia')]}, {('Fred', 'son', 'Thomas'): [('Fred', 'wife', 'Marissa'), ('Marissa', 'son', 'Thomas')]}]