story: [Carol] is the proud daughter of [Rudolph]. [Carol] also has a brother named [Alfred]. [Lisa] took her sister [Carol] out for dinner to celebrate her birthday. [Alfred] is helping his son study. His name is [Willie].
query: ('Rudolph', 'Willie')
clean_story: [Carol] is the proud daughter of [Rudolph]. [Carol] also has a brother named [Alfred]. [Alfred] is helping his son study. His name is [Willie].
proof_state: [{('Rudolph', 'grandson', 'Willie'): [('Rudolph', 'son', 'Alfred'), ('Alfred', 'son', 'Willie')]}, {('Rudolph', 'son', 'Alfred'): [('Rudolph', 'daughter', 'Carol'), ('Carol', 'brother', 'Alfred')]}]