story: [Christopher] drove his daughters [Guillermina] and [Anna] to school.
query: ('Anna', 'Guillermina')
clean_story: [Christopher] drove his daughters [Guillermina] and [Anna] to school.
proof_state: [{('Anna', 'sister', 'Guillermina'): [('Anna', 'father', 'Christopher'), ('Christopher', 'daughter', 'Guillermina')]}]