story: [Peter] enjoys talking to his sister. Her name is [Carol]. [Jason] asked his father [Mark] if he could borrow some money. [Mary] is a sister of [Jason]. [Carol] drove her son [Jason] to his soccer game.
query: ('Peter', 'Mary')
clean_story: [Peter] enjoys talking to his sister. Her name is [Carol]. [Carol] drove her son [Jason] to his soccer game. [Mary] is a sister of [Jason].
proof_state: [{('Peter', 'niece', 'Mary'): [('Peter', 'sister', 'Carol'), ('Carol', 'daughter', 'Mary')]}, {('Carol', 'daughter', 'Mary'): [('Carol', 'son', 'Jason'), ('Jason', 'sister', 'Mary')]}]