story: [Kevin] was waiting patiently for his wife, [Aida]. [Dorothy] has a son called [Kevin]. Each day they go to the park after school.
query: ('Dorothy', 'Aida')
clean_story: [Dorothy] has a son called [Kevin]. Each day they go to the park after school. [Kevin] was waiting patiently for his wife, [Aida].
proof_state: [{('Dorothy', 'daughter-in-law', 'Aida'): [('Dorothy', 'son', 'Kevin'), ('Kevin', 'wife', 'Aida')]}]