story: [Arthur] and his Aunt [Bonnie] flew first class [Kenneth] played basketball with his brother [William]. [Dorothy] always goes to the park with her son [Arthur] on Saturdays. [Bonnie] asked her daughter, [Julie], if she would like to go to a movie with her on Saturday night. [Kenneth] and his brother [David] had a tie score. [David] asked his sister, [Julie], to come up with a tie-breaker.
query: ('Dorothy', 'William')
clean_story: [Dorothy] always goes to the park with her son [Arthur] on Saturdays. [Arthur] and his Aunt [Bonnie] flew first class [Bonnie] asked her daughter, [Julie], if she would like to go to a movie with her on Saturday night. [Kenneth] and his brother [David] had a tie score. [David] asked his sister, [Julie], to come up with a tie-breaker. [Kenneth] played basketball with his brother [William].
proof_state: [{('Dorothy', 'nephew', 'William'): [('Dorothy', 'sister', 'Bonnie'), ('Bonnie', 'son', 'William')]}, {('Bonnie', 'son', 'William'): [('Bonnie', 'son', 'Kenneth'), ('Kenneth', 'brother', 'William')]}, {('Bonnie', 'son', 'Kenneth'): [('Bonnie', 'son', 'David'), ('David', 'brother', 'Kenneth')]}, {('Bonnie', 'son', 'David'): [('Bonnie', 'daughter', 'Julie'), ('Julie', 'brother', 'David')]}, {('Dorothy', 'sister', 'Bonnie'): [('Dorothy', 'son', 'Arthur'), ('Arthur', 'aunt', 'Bonnie')]}]
edge_types: ['son', 'aunt', 'daughter', 'brother', 'brother', 'brother']