story: [Alfred] bought ice cream for [David]'s birthday. [Willie]'s father's name is [Alfred]. [Carol] has been waiting around all day for her son, [David]. [Alfred] is helping his son study. His name is [Kenneth].
query: ('Carol', 'Willie')
clean_story: [Carol] has been waiting around all day for her son, [David]. [Alfred] bought ice cream for [David]'s birthday. [Willie]'s father's name is [Alfred].
proof_state: [{('Carol', 'nephew', 'Willie'): [('Carol', 'brother', 'Alfred'), ('Alfred', 'son', 'Willie')]}, {('Carol', 'brother', 'Alfred'): [('Carol', 'son', 'David'), ('David', 'uncle', 'Alfred')]}]