story: [Mark] is an engineer who loves to take his son [Richard] to the science museum to help him learn about the world [James] went to the ball game with his brothers [Mark] and [Peter]. [Mark] is the proud father of the lovely [Jason]
query: ('Jason', 'Peter')
clean_story: [Mark] is the proud father of the lovely [Jason] [James] went to the ball game with his brothers [Mark] and [Peter].
proof_state: [{('Jason', 'uncle', 'Peter'): [('Jason', 'father', 'Mark'), ('Mark', 'brother', 'Peter')]}, {('Mark', 'brother', 'Peter'): [('Mark', 'brother', 'James'), ('James', 'brother', 'Peter')]}]