story: [Mark] was n't sure how to help his son [Jason] with his math homework. [Mark] decided to ask his brother [James] for some help. [James] and his father [Rudolph] played video games all day last Saturday. [James] met his brother [Peter] for drinks after work.
query: ('Jason', 'Rudolph')
clean_story: [Mark] was n't sure how to help his son [Jason] with his math homework. [Mark] decided to ask his brother [James] for some help. [James] and his father [Rudolph] played video games all day last Saturday.
proof_state: [{('Jason', 'grandfather', 'Rudolph'): [('Jason', 'father', 'Mark'), ('Mark', 'father', 'Rudolph')]}, {('Mark', 'father', 'Rudolph'): [('Mark', 'brother', 'James'), ('James', 'father', 'Rudolph')]}]