story: [Michael] and his wife [Michelle] made sandwiches for their daughter [Reta]. [Reta]'s brother [Kirk] ate pasta instead.
query: ('Michelle', 'Kirk')
clean_story: [Michael] and his wife [Michelle] made sandwiches for their daughter [Reta]. [Reta]'s brother [Kirk] ate pasta instead.
proof_state: [{('Michelle', 'son', 'Kirk'): [('Michelle', 'daughter', 'Reta'), ('Reta', 'brother', 'Kirk')]}, {('Michelle', 'daughter', 'Reta'): [('Michelle', 'husband', 'Michael'), ('Michael', 'daughter', 'Reta')]}]