story: [Jeffrey] got into an argument with his brother [William] and pushed him to the floor. As he burst into tears [Jeffrey] ran to his mother [Myrna] for comfort.
query: ('Myrna', 'William')
clean_story: [Jeffrey] got into an argument with his brother [William] and pushed him to the floor. As he burst into tears [Jeffrey] ran to his mother [Myrna] for comfort.
proof_state: [{('Myrna', 'son', 'William'): [('Myrna', 'son', 'Jeffrey'), ('Jeffrey', 'brother', 'William')]}]