story: [Kirk]'s father, [Michael], bought him some ice cream. [Kirk] took his sister [Reta] out to dinner for her birthday. [Molly] is a lovely mother. She has a son named [Michael], who she loves infinitely.
query: ('Reta', 'Molly')
clean_story: [Kirk] took his sister [Reta] out to dinner for her birthday. [Kirk]'s father, [Michael], bought him some ice cream. [Molly] is a lovely mother. She has a son named [Michael], who she loves infinitely.
proof_state: [{('Reta', 'grandmother', 'Molly'): [('Reta', 'father', 'Michael'), ('Michael', 'mother', 'Molly')]}, {('Reta', 'father', 'Michael'): [('Reta', 'brother', 'Kirk'), ('Kirk', 'father', 'Michael')]}]