story: [Stanley] and his sons [Michael] and [Alan] went to the store. [Michael]'s sons [Kirk] stayed home to clean instead.
query: ('Alan', 'Kirk')
clean_story: [Stanley] and his sons [Michael] and [Alan] went to the store. [Michael]'s sons [Kirk] stayed home to clean instead.
proof_state: [{('Alan', 'nephew', 'Kirk'): [('Alan', 'brother', 'Michael'), ('Michael', 'son', 'Kirk')]}, {('Alan', 'brother', 'Michael'): [('Alan', 'father', 'Stanley'), ('Stanley', 'son', 'Michael')]}]