story: [Michael]'s father [Mark] is going to coach the team this year. [Rose] and [Peter] have a brother named [Mark] [Peter] likes to go fishing with his sister. Her name is [Carol].
query: ('Peter', 'Michael')
clean_story: [Rose] and [Peter] have a brother named [Mark] [Michael]'s father [Mark] is going to coach the team this year.
proof_state: [{('Peter', 'nephew', 'Michael'): [('Peter', 'brother', 'Mark'), ('Mark', 'son', 'Michael')]}, {('Peter', 'brother', 'Mark'): [('Peter', 'sister', 'Rose'), ('Rose', 'brother', 'Mark')]}]