story: [Kevin]'s mother, [Dorothy], was eager to show his wife, [Aida], her new car.
query: ('Aida', 'Dorothy')
clean_story: [Kevin]'s mother, [Dorothy], was eager to show his wife, [Aida], her new car.
proof_state: [{('Aida', 'mother-in-law', 'Dorothy'): [('Aida', 'husband', 'Kevin'), ('Kevin', 'mother', 'Dorothy')]}]