story: [Sandra] and her son [Matthew] went to the zoo with [Sandra]'s brother [Alan]. [Michelle] went on a vacation with her brother [Alan].
query: ('Michelle', 'Matthew')
clean_story: [Michelle] went on a vacation with her brother [Alan]. [Sandra] and her son [Matthew] went to the zoo with [Sandra]'s brother [Alan].
proof_state: [{('Michelle', 'nephew', 'Matthew'): [('Michelle', 'sister', 'Sandra'), ('Sandra', 'son', 'Matthew')]}, {('Michelle', 'sister', 'Sandra'): [('Michelle', 'brother', 'Alan'), ('Alan', 'sister', 'Sandra')]}]