story: [John] and his son [Bryan] went to the cinema together. [John] 'son, [Bryan], aced his math class and made his father proud. [John] is [Susan]'s older brother. He has never liked any of her boyfriends. [Willie] loves her son [Bryan] very much. He loves her, too. [Timothy]'s mother, [Willie], was disappointed that he failed his math class [Timothy] has a few children, [John], Bradley and Claire [John] is buying his daughter [Thelma] a brand new car for her birthday. [Bryan] bought a steak dinner for himself and his brother [Timothy]. [John] and his son [Timothy] went to the cinema together.
query: ('Thelma', 'Susan')
clean_story: [John] is buying his daughter [Thelma] a brand new car for her birthday. [Timothy] has a few children, [John], Bradley and Claire [John] and his son [Timothy] went to the cinema together. [John] 'son, [Bryan], aced his math class and made his father proud. [Bryan] bought a steak dinner for himself and his brother [Timothy]. [Timothy]'s mother, [Willie], was disappointed that he failed his math class [Willie] loves her son [Bryan] very much. He loves her, too. [John] and his son [Bryan] went to the cinema together. [John] is [Susan]'s older brother. He has never liked any of her boyfriends.
proof_state: [{('Thelma', 'aunt', 'Susan'): [('Thelma', 'mother', 'Willie'), ('Willie', 'sister', 'Susan')]}, {('Thelma', 'mother', 'Willie'): [('Thelma', 'brother', 'Bryan'), ('Bryan', 'mother', 'Willie')]}, {('Willie', 'sister', 'Susan'): [('Willie', 'son', 'Bryan'), ('Bryan', 'aunt', 'Susan')]}, {('Bryan', 'aunt', 'Susan'): [('Bryan', 'father', 'John'), ('John', 'sister', 'Susan')]}, {('Thelma', 'brother', 'Bryan'): [('Thelma', 'brother', 'Timothy'), ('Timothy', 'brother', 'Bryan')]}, {('Bryan', 'mother', 'Willie'): [('Bryan', 'brother', 'Timothy'), ('Timothy', 'mother', 'Willie')]}, {('Thelma', 'brother', 'Timothy'): [('Thelma', 'father', 'John'), ('John', 'son', 'Timothy')]}, {('Timothy', 'brother', 'Bryan'): [('Timothy', 'father', 'John'), ('John', 'son', 'Bryan')]}]
edge_types: ['father', 'son', 'father', 'son', 'brother', 'mother', 'son', 'father', 'sister']