story: [Jeremy] is [Reta]'s brother and [Michael] is a mother of [Reta], [Jeremy] is [Molly]'s grandson
query: ('Michael', 'Molly')
clean_story: [Jeremy] is [Reta]'s brother and [Michael] is a mother of [Reta], [Jeremy] is [Molly]'s grandson
proof_state: [{('Michael', 'mother', 'Molly'): [('Michael', 'daughter', 'Reta'), ('Reta', 'grandmother', 'Molly')]}, {('Reta', 'grandmother', 'Molly'): [('Reta', 'brother', 'Jeremy'), ('Jeremy', 'grandmother', 'Molly')]}]