story: [Norman] asked his wife [Dawn] if she had any news about the family. [Dawn] mentioned that her son, [John], got straight A's this semester at college. [John] and his grandmother [Patricia] went to the science museum. They both had fun, and learned some things, too.
clean_story: [Norman] asked his wife [Dawn] if she had any news about the family. [Dawn] mentioned that her son, [John], got straight A's this semester at college. [John] and his grandmother [Patricia] went to the science museum. They both had fun, and learned some things, too.
proof_state: [{('Norman', 'mother', 'Patricia'): [('Norman', 'son', 'John'), ('John', 'grandmother', 'Patricia')]}, {('Norman', 'son', 'John'): [('Norman', 'wife', 'Dawn'), ('Dawn', 'son', 'John')]}]