story: [Connie] watched a golf tournament with her aunt [Dorothy]. [Patricia] took her daughters [Christina] and [Connie] to the zoo. [Christina]'s brother [Timothy] left the zoo early.
query: ('Timothy', 'Dorothy')
clean_story: [Patricia] took her daughters [Christina] and [Connie] to the zoo. [Christina]'s brother [Timothy] left the zoo early. [Connie] watched a golf tournament with her aunt [Dorothy].
proof_state: [{('Timothy', 'aunt', 'Dorothy'): [('Timothy', 'mother', 'Patricia'), ('Patricia', 'sister', 'Dorothy')]}, {('Patricia', 'sister', 'Dorothy'): [('Patricia', 'daughter', 'Connie'), ('Connie', 'aunt', 'Dorothy')]}, {('Timothy', 'mother', 'Patricia'): [('Timothy', 'sister', 'Christina'), ('Christina', 'mother', 'Patricia')]}]
edge_types: ['sister', 'mother', 'daughter', 'aunt']