story: [Clifton] took his son [Kenneth] and daughter [Julie] out for ice cream. [Julie]'s brother [David] could n't make it because he was stuck in traffic. [Clifton] took his son's [David] and [William] to school. [Bonnie] baked some cookies for her son [William] because it was his birthday.
query: ('Kenneth', 'Bonnie')
clean_story: [Clifton] took his son [Kenneth] and daughter [Julie] out for ice cream. [Julie]'s brother [David] could n't make it because he was stuck in traffic. [Clifton] took his son's [David] and [William] to school. [Bonnie] baked some cookies for her son [William] because it was his birthday.
proof_state: [{('Kenneth', 'mother', 'Bonnie'): [('Kenneth', 'brother', 'David'), ('David', 'mother', 'Bonnie')]}, {('David', 'mother', 'Bonnie'): [('David', 'brother', 'William'), ('William', 'mother', 'Bonnie')]}, {('Kenneth', 'brother', 'David'): [('Kenneth', 'father', 'Clifton'), ('Clifton', 'son', 'David')]}, {('David', 'brother', 'William'): [('David', 'father', 'Clifton'), ('Clifton', 'son', 'William')]}, {('Clifton', 'son', 'David'): [('Clifton', 'daughter', 'Julie'), ('Julie', 'brother', 'David')]}]
edge_types: ['father', 'daughter', 'brother', 'father', 'son', 'mother']