story: [Angela] was sewing a sweater for her sister [May]. [Michael] is a man with a daughter named [May]. [Thomas] and his sister [Angela] went to brunch today at the new diner.
query: ('Michael', 'Thomas')
clean_story: [Michael] is a man with a daughter named [May]. [Angela] was sewing a sweater for her sister [May]. [Thomas] and his sister [Angela] went to brunch today at the new diner.
proof_state: [{('Michael', 'son', 'Thomas'): [('Michael', 'daughter', 'Angela'), ('Angela', 'brother', 'Thomas')]}, {('Michael', 'daughter', 'Angela'): [('Michael', 'daughter', 'May'), ('May', 'sister', 'Angela')]}]