story: [Edward] asked his aunt, [Ashley], to read him a story. [Ashley] unfortunately was n't able to, since she did n't have her glasses, and she was almost blind without them. [Edward] took his son [John] out to play gold later that night. [Ashley] went to her father [Henry] Birthday party
clean_story: [Edward] took his son [John] out to play gold later that night. [Edward] asked his aunt, [Ashley], to read him a story. [Ashley] unfortunately was n't able to, since she did n't have her glasses, and she was almost blind without them. [Ashley] went to her father [Henry] Birthday party
proof_state: [{('John', 'father', 'Henry'): [('John', 'sister', 'Ashley'), ('Ashley', 'father', 'Henry')]}, {('John', 'sister', 'Ashley'): [('John', 'son', 'Edward'), ('Edward', 'aunt', 'Ashley')]}]