story: [Christopher] took his daughter [Anna] out for nachos. [Christopher]'s son [William] played with his friend instead.
query: ('Anna', 'William')
clean_story: [Christopher] took his daughter [Anna] out for nachos. [Christopher]'s son [William] played with his friend instead.
proof_state: [{('Anna', 'brother', 'William'): [('Anna', 'father', 'Christopher'), ('Christopher', 'son', 'William')]}]