story: [Bonita] took her father [Charles] to his doctor's appointment and afterward her brother [Ronald] came over and visited for awhile. [Willie] had a daughter named [Amanda]. [Amanda] and [Bryan] left that evening to go bowling. [Willie] was excited because she was meeting her father, [Charles], for lunch. [Susan] made dinner for her husband, [Ronald], and her daughter, [Santa]. [Santa]'s brother, [Milton], helped set the table. [Bryan] and his son [John] went to look at cars. [Bryan] ended up buying the Mustang.
query: ('John', 'Milton')
clean_story: [Bryan] and his son [John] went to look at cars. [Bryan] ended up buying the Mustang. [Amanda] and [Bryan] left that evening to go bowling. [Willie] had a daughter named [Amanda]. [Willie] was excited because she was meeting her father, [Charles], for lunch. [Bonita] took her father [Charles] to his doctor's appointment and afterward her brother [Ronald] came over and visited for awhile. [Susan] made dinner for her husband, [Ronald], and her daughter, [Santa]. [Santa]'s brother, [Milton], helped set the table.
proof_state: [{('John', 'nephew', 'Milton'): [('John', 'brother', 'Ronald'), ('Ronald', 'son', 'Milton')]}, {('John', 'brother', 'Ronald'): [('John', 'father', 'Charles'), ('Charles', 'son', 'Ronald')]}, {('John', 'father', 'Charles'): [('John', 'son', 'Bryan'), ('Bryan', 'grandfather', 'Charles')]}, {('Ronald', 'son', 'Milton'): [('Ronald', 'daughter', 'Santa'), ('Santa', 'brother', 'Milton')]}, {('Bryan', 'grandfather', 'Charles'): [('Bryan', 'mother', 'Willie'), ('Willie', 'father', 'Charles')]}, {('Bryan', 'mother', 'Willie'): [('Bryan', 'sister', 'Amanda'), ('Amanda', 'mother', 'Willie')]}, {('Charles', 'son', 'Ronald'): [('Charles', 'daughter', 'Bonita'), ('Bonita', 'brother', 'Ronald')]}, {('Ronald', 'daughter', 'Santa'): [('Ronald', 'wife', 'Susan'), ('Susan', 'daughter', 'Santa')]}]
edge_types: ['son', 'sister', 'mother', 'father', 'daughter', 'brother', 'wife', 'daughter', 'brother']