story: [William] waited for [Guillermina] to wrap up at work. [William] asked his father, [Christopher], to help him with his math homework. [Christopher] could n't, because he was lousy at math himself.
query: ('Guillermina', 'Christopher')
clean_story: [William] waited for [Guillermina] to wrap up at work. [William] asked his father, [Christopher], to help him with his math homework. [Christopher] could n't, because he was lousy at math himself.
proof_state: [{('Guillermina', 'father-in-law', 'Christopher'): [('Guillermina', 'husband', 'William'), ('William', 'father', 'Christopher')]}]