story: [James] is the proud father of the lovely [Errol] [Alfred] enjoys playing tennis with his sister and her son. Her son is named [Errol]. [Peter] and his brother [Alfred] went to the park. They threw a ball around and played with their dog. [Rose] read her son [Errol] a bedtime story every night.
query: ('Rose', 'Peter')
clean_story: [Rose] read her son [Errol] a bedtime story every night. [Alfred] enjoys playing tennis with his sister and her son. Her son is named [Errol]. [Peter] and his brother [Alfred] went to the park. They threw a ball around and played with their dog.
proof_state: [{('Rose', 'brother', 'Peter'): [('Rose', 'brother', 'Alfred'), ('Alfred', 'brother', 'Peter')]}, {('Rose', 'brother', 'Alfred'): [('Rose', 'son', 'Errol'), ('Errol', 'uncle', 'Alfred')]}]