story: [Phillip] bought to dress for his father [Thomas] [Lee] asked her brother [Matthew] if he could babysit. When he said no, she asked her sister [Laura] instead. [Laura] planned a trip to the zoo for her brother, [Phillip]. They had a great time. [Kent] 'son, [Davis], aced his math class and made his father proud. [Matthew] 'uncle, [Kent], always took him fishing on summer weekends.
query: ('Thomas', 'Davis')
clean_story: [Phillip] bought to dress for his father [Thomas] [Laura] planned a trip to the zoo for her brother, [Phillip]. They had a great time. [Lee] asked her brother [Matthew] if he could babysit. When he said no, she asked her sister [Laura] instead. [Matthew] 'uncle, [Kent], always took him fishing on summer weekends. [Kent] 'son, [Davis], aced his math class and made his father proud.
proof_state: [{('Thomas', 'nephew', 'Davis'): [('Thomas', 'brother', 'Kent'), ('Kent', 'son', 'Davis')]}, {('Thomas', 'brother', 'Kent'): [('Thomas', 'son', 'Matthew'), ('Matthew', 'uncle', 'Kent')]}, {('Thomas', 'son', 'Matthew'): [('Thomas', 'daughter', 'Laura'), ('Laura', 'brother', 'Matthew')]}, {('Thomas', 'daughter', 'Laura'): [('Thomas', 'son', 'Phillip'), ('Phillip', 'sister', 'Laura')]}, {('Laura', 'brother', 'Matthew'): [('Laura', 'sister', 'Lee'), ('Lee', 'brother', 'Matthew')]}]
edge_types: ['son', 'sister', 'sister', 'brother', 'uncle', 'son']