story: [Michael] is [Angela]'s father and [Stanley] is [Michael]'s father. They all live together in the same house. [Michelle] and her daughter [Angela] went out for ice cream. [Michelle] got a cone and [Angela] got a sundae.
query: ('Michelle', 'Stanley')
clean_story: [Michelle] and her daughter [Angela] went out for ice cream. [Michelle] got a cone and [Angela] got a sundae. [Michael] is [Angela]'s father and [Stanley] is [Michael]'s father. They all live together in the same house.
proof_state: [{('Michelle', 'father', 'Stanley'): [('Michelle', 'daughter', 'Angela'), ('Angela', 'grandfather', 'Stanley')]}, {('Angela', 'grandfather', 'Stanley'): [('Angela', 'father', 'Michael'), ('Michael', 'father', 'Stanley')]}]