story: [Gabrielle] is the grandmother of [Micheal] and his sister is [Theresa].
query: ('Theresa', 'Gabrielle')
clean_story: [Gabrielle] is the grandmother of [Micheal] and his sister is [Theresa].
proof_state: [{('Theresa', 'grandmother', 'Gabrielle'): [('Theresa', 'brother', 'Micheal'), ('Micheal', 'grandmother', 'Gabrielle')]}]