story: [Christopher] was so proud of his daughter, [Lucille], graduating at the top of her class. [William]'s father, [Christopher], bought him some ice cream.
query: ('William', 'Lucille')
clean_story: [William]'s father, [Christopher], bought him some ice cream. [Christopher] was so proud of his daughter, [Lucille], graduating at the top of her class.
proof_state: [{('William', 'sister', 'Lucille'): [('William', 'father', 'Christopher'), ('Christopher', 'daughter', 'Lucille')]}]