story: [Sheila] asked her father, [Dwight], if he could take her to school. [Dwight] was busy, but his brother [Christopher] had time, so he took her instead.
query: ('Sheila', 'Christopher')
clean_story: [Sheila] asked her father, [Dwight], if he could take her to school. [Dwight] was busy, but his brother [Christopher] had time, so he took her instead.
proof_state: [{('Sheila', 'uncle', 'Christopher'): [('Sheila', 'father', 'Dwight'), ('Dwight', 'brother', 'Christopher')]}]