story: [Bernard] and his brother [Thomas] were playing tag in the park. [Bernard] asked his father, [James], to help him with his math homework. [James] could n't, because he was lousy at math himself. [Mark] needed his brother, [Bernard], to help with a problem
query: ('Mark', 'James')
clean_story: [Mark] needed his brother, [Bernard], to help with a problem [Bernard] asked his father, [James], to help him with his math homework. [James] could n't, because he was lousy at math himself.
proof_state: [{('Mark', 'father', 'James'): [('Mark', 'brother', 'Bernard'), ('Bernard', 'father', 'James')]}]