story: [Dorothy] visited her son [Micheal] at college. [Dorothy] picked up her daughter [Aida] from school early.
query: ('Aida', 'Micheal')
clean_story: [Dorothy] picked up her daughter [Aida] from school early. [Dorothy] visited her son [Micheal] at college.
proof_state: [{('Aida', 'brother', 'Micheal'): [('Aida', 'mother', 'Dorothy'), ('Dorothy', 'son', 'Micheal')]}]