story: [Alfred] took his daughter, [Louise], to the father daughter dance at church. [Alfred] played catch with his son [Willie]. [Alfred]'s other son [Kenneth] does n't play baseball. [Lisbeth] read her son [Kenneth] a bedtime story every night.
query: ('Lisbeth', 'Willie')
clean_story: [Lisbeth] read her son [Kenneth] a bedtime story every night. [Alfred] played catch with his son [Willie]. [Alfred]'s other son [Kenneth] does n't play baseball.
proof_state: [{('Lisbeth', 'son', 'Willie'): [('Lisbeth', 'son', 'Kenneth'), ('Kenneth', 'brother', 'Willie')]}, {('Kenneth', 'brother', 'Willie'): [('Kenneth', 'father', 'Alfred'), ('Alfred', 'son', 'Willie')]}]