story: [Kyle] loved going to the store with his mom [Marguerite]. She always bought him snacks [Daniel] took his son [Jerry] out for ice cream. [Ethel] always gets teased by her brother [Kyle]. [Daniel], [Kyle]'s father tells him to stop it. [Jerry], [Daniel]'s son never teases [Ethel]. [Daniel] 'son, [Michael], aced his math class and made his father proud. [Kyle] played chess with his brother [Michael].
query: ('Ethel', 'Marguerite')
clean_story: [Ethel] always gets teased by her brother [Kyle]. [Daniel], [Kyle]'s father tells him to stop it. [Jerry], [Daniel]'s son never teases [Ethel]. [Daniel] took his son [Jerry] out for ice cream. [Daniel] 'son, [Michael], aced his math class and made his father proud. [Kyle] played chess with his brother [Michael]. [Kyle] loved going to the store with his mom [Marguerite]. She always bought him snacks
proof_state: [{('Ethel', 'mother', 'Marguerite'): [('Ethel', 'brother', 'Jerry'), ('Jerry', 'mother', 'Marguerite')]}, {('Jerry', 'mother', 'Marguerite'): [('Jerry', 'brother', 'Kyle'), ('Kyle', 'mother', 'Marguerite')]}, {('Ethel', 'brother', 'Jerry'): [('Ethel', 'brother', 'Kyle'), ('Kyle', 'brother', 'Jerry')]}, {('Jerry', 'brother', 'Kyle'): [('Jerry', 'father', 'Daniel'), ('Daniel', 'son', 'Kyle')]}, {('Kyle', 'brother', 'Jerry'): [('Kyle', 'father', 'Daniel'), ('Daniel', 'son', 'Jerry')]}, {('Daniel', 'son', 'Kyle'): [('Daniel', 'son', 'Michael'), ('Michael', 'brother', 'Kyle')]}]
edge_types: ['brother', 'father', 'son', 'father', 'son', 'brother', 'mother']