story: [Thomas] spent the day with his aunt, [Sandra]. They had a wonderful time doing all sorts of things. [Michael] is madly in love with his wife. Her name is [Michelle]. [Michael] is an engineer who loves to take his son [Thomas] to the science museum to help him learn about the world
query: ('Michelle', 'Sandra')
clean_story: [Michael] is madly in love with his wife. Her name is [Michelle]. [Michael] is an engineer who loves to take his son [Thomas] to the science museum to help him learn about the world [Thomas] spent the day with his aunt, [Sandra]. They had a wonderful time doing all sorts of things.
proof_state: [{('Michelle', 'sister', 'Sandra'): [('Michelle', 'son', 'Thomas'), ('Thomas', 'aunt', 'Sandra')]}, {('Michelle', 'son', 'Thomas'): [('Michelle', 'husband', 'Michael'), ('Michael', 'son', 'Thomas')]}]