story: [Dorothy] likes taking her son [Micheal] to school. [Dorothy], [Dan] mother, likes to take him to eat ice cream on Sundays.
query: ('Dan', 'Micheal')
clean_story: [Dorothy], [Dan] mother, likes to take him to eat ice cream on Sundays. [Dorothy] likes taking her son [Micheal] to school.
proof_state: [{('Dan', 'brother', 'Micheal'): [('Dan', 'mother', 'Dorothy'), ('Dorothy', 'son', 'Micheal')]}]