story: [Dorothy] took her father [Jason] to a baseball game, while [Dorothy]'s daughter [Aida] was at home with a baby sitter.
query: ('Jason', 'Aida')
clean_story: [Dorothy] took her father [Jason] to a baseball game, while [Dorothy]'s daughter [Aida] was at home with a baby sitter.
proof_state: [{('Jason', 'granddaughter', 'Aida'): [('Jason', 'daughter', 'Dorothy'), ('Dorothy', 'daughter', 'Aida')]}]