story: [Michelle]'s took her twin sons, [Paul] and [Kirk], to the library. Her husband, [Michael] met them there.
query: ('Michael', 'Paul')
clean_story: [Michelle]'s took her twin sons, [Paul] and [Kirk], to the library. Her husband, [Michael] met them there.
proof_state: [{('Michael', 'son', 'Paul'): [('Michael', 'wife', 'Michelle'), ('Michelle', 'son', 'Paul')]}, {('Michelle', 'son', 'Paul'): [('Michelle', 'son', 'Kirk'), ('Kirk', 'brother', 'Paul')]}]