story: [Micheal]'s grandfather [Jason] and brother [Dan] all went to a hockey game after dinner.
query: ('Dan', 'Jason')
clean_story: [Micheal]'s grandfather [Jason] and brother [Dan] all went to a hockey game after dinner.
proof_state: [{('Dan', 'grandfather', 'Jason'): [('Dan', 'brother', 'Micheal'), ('Micheal', 'grandfather', 'Jason')]}]