story: [Jason] wanted his son, [James], to go fishing with him. [Micheal] asked his father, [James], to help him with his math homework. [James] could n't, because he was lousy at math himself.
query: ('Micheal', 'Jason')
clean_story: [Micheal] asked his father, [James], to help him with his math homework. [James] could n't, because he was lousy at math himself. [Jason] wanted his son, [James], to go fishing with him.
proof_state: [{('Micheal', 'grandfather', 'Jason'): [('Micheal', 'father', 'James'), ('James', 'father', 'Jason')]}]