story: [Dorothy]'s brother [Christopher] and her went to get ice cream. [Christopher] drove his daughter [Lucille] to soccer practice.
query: ('Lucille', 'Dorothy')
clean_story: [Christopher] drove his daughter [Lucille] to soccer practice. [Dorothy]'s brother [Christopher] and her went to get ice cream.
proof_state: [{('Lucille', 'aunt', 'Dorothy'): [('Lucille', 'father', 'Christopher'), ('Christopher', 'sister', 'Dorothy')]}]