story: [Bonnie]'s son, [William], had to stay home from school with a cold. [Kenneth] played chess with his brother [William]. [Erica], who is the sister of [Bonnie], is a lovely girl. [David] got his son, [Clifton], a car for his birthday. [Kenneth] likes to watch baseball with his brother. His name is [William]. [William] played chess with his brother [David].
query: ('Clifton', 'Erica')
clean_story: [David] got his son, [Clifton], a car for his birthday. [William] played chess with his brother [David]. [Kenneth] played chess with his brother [William]. [Kenneth] likes to watch baseball with his brother. His name is [William]. [Bonnie]'s son, [William], had to stay home from school with a cold. [Erica], who is the sister of [Bonnie], is a lovely girl.
proof_state: [{('Clifton', 'sister', 'Erica'): [('Clifton', 'son', 'William'), ('William', 'aunt', 'Erica')]}, {('Clifton', 'son', 'William'): [('Clifton', 'son', 'Kenneth'), ('Kenneth', 'brother', 'William')]}, {('Clifton', 'son', 'Kenneth'): [('Clifton', 'son', 'David'), ('David', 'brother', 'Kenneth')]}, {('David', 'brother', 'Kenneth'): [('David', 'brother', 'William'), ('William', 'brother', 'Kenneth')]}, {('William', 'aunt', 'Erica'): [('William', 'mother', 'Bonnie'), ('Bonnie', 'sister', 'Erica')]}]
edge_types: ['son', 'brother', 'brother', 'brother', 'mother', 'sister']