story: [Jeffrey] and his brother [William] went to the store. [William] wanted to buy his grandfather [Jason] a nice birthday present.
query: ('Jeffrey', 'Jason')
clean_story: [Jeffrey] and his brother [William] went to the store. [William] wanted to buy his grandfather [Jason] a nice birthday present.
proof_state: [{('Jeffrey', 'grandfather', 'Jason'): [('Jeffrey', 'brother', 'William'), ('William', 'grandfather', 'Jason')]}]