story: [Aida]'s brother [Dan] and her went to get ice cream. [Micheal] and his brother [Dan] played at jacks.
query: ('Micheal', 'Aida')
clean_story: [Micheal] and his brother [Dan] played at jacks. [Aida]'s brother [Dan] and her went to get ice cream.
proof_state: [{('Micheal', 'sister', 'Aida'): [('Micheal', 'brother', 'Dan'), ('Dan', 'sister', 'Aida')]}]