story: [Lisa] took her daughter, [Michelle], out to High Tea yesterday afternoon. [Mark] is one of [Lisa]'s brothers. They have lots of fun together. [Peter] took his son [Stacy] for boxing lessons. He felt the boy needed to toughen up. [Stacy] looks to his loving mother [Lisa] for guidance in with his math homework.
query: ('Peter', 'Mark')
clean_story: [Peter] took his son [Stacy] for boxing lessons. He felt the boy needed to toughen up. [Stacy] looks to his loving mother [Lisa] for guidance in with his math homework. [Mark] is one of [Lisa]'s brothers. They have lots of fun together.
proof_state: [{('Peter', 'brother', 'Mark'): [('Peter', 'son', 'Stacy'), ('Stacy', 'uncle', 'Mark')]}, {('Stacy', 'uncle', 'Mark'): [('Stacy', 'mother', 'Lisa'), ('Lisa', 'brother', 'Mark')]}]