story: [Andrew] went to his brother [Richard]'s Birthday party [Richard] got his son, [Donald], a car for his birthday. [Milton] is the uncle of [Andrew]. [Milton] went to see his daughter [Arlene] for parents day at college. [Arlene] and her brother [Pat] went to see a movie.
query: ('Donald', 'Pat')
clean_story: [Richard] got his son, [Donald], a car for his birthday. [Andrew] went to his brother [Richard]'s Birthday party [Milton] is the uncle of [Andrew]. [Milton] went to see his daughter [Arlene] for parents day at college. [Arlene] and her brother [Pat] went to see a movie.
proof_state: [{('Donald', 'nephew', 'Pat'): [('Donald', 'brother', 'Milton'), ('Milton', 'son', 'Pat')]}, {('Donald', 'brother', 'Milton'): [('Donald', 'son', 'Andrew'), ('Andrew', 'uncle', 'Milton')]}, {('Donald', 'son', 'Andrew'): [('Donald', 'son', 'Richard'), ('Richard', 'brother', 'Andrew')]}, {('Milton', 'son', 'Pat'): [('Milton', 'daughter', 'Arlene'), ('Arlene', 'brother', 'Pat')]}]
edge_types: ['son', 'brother', 'uncle', 'daughter', 'brother']