story: [Jason] is so proud of his son. [James] is the son's name. [James] was so proud that his son [Micheal] won the science fair!
query: ('Jason', 'Micheal')
clean_story: [Jason] is so proud of his son. [James] is the son's name. [James] was so proud that his son [Micheal] won the science fair!
proof_state: [{('Jason', 'grandson', 'Micheal'): [('Jason', 'son', 'James'), ('James', 'son', 'Micheal')]}]