story: [Michelle] and [Michael] were celebrating their daughter [Reta]'s birthday. [Reta]'s sister [Lisa] was jealous of all the presents she got
query: ('Michael', 'Lisa')
clean_story: [Michelle] and [Michael] were celebrating their daughter [Reta]'s birthday. [Reta]'s sister [Lisa] was jealous of all the presents she got
proof_state: [{('Michael', 'daughter', 'Lisa'): [('Michael', 'wife', 'Michelle'), ('Michelle', 'daughter', 'Lisa')]}, {('Michelle', 'daughter', 'Lisa'): [('Michelle', 'daughter', 'Reta'), ('Reta', 'sister', 'Lisa')]}]