story: [Rudolph] was telling stories to his grandsons [Francisco] and [Willie]. [Francisco]'s brother [Kenneth] was getting bored. [Rudolph] cooked dinner for his wife [Sandra]
query: ('Rudolph', 'Kenneth')
clean_story: [Rudolph] was telling stories to his grandsons [Francisco] and [Willie]. [Francisco]'s brother [Kenneth] was getting bored.
proof_state: [{('Rudolph', 'grandson', 'Kenneth'): [('Rudolph', 'grandson', 'Francisco'), ('Francisco', 'brother', 'Kenneth')]}, {('Francisco', 'brother', 'Kenneth'): [('Francisco', 'brother', 'Willie'), ('Willie', 'brother', 'Kenneth')]}]