story: [Dorothy] and her husband, [James], went for a walk. [Dan], [James]'s son, tagged along.
query: ('Dorothy', 'Dan')
clean_story: [Dorothy] and her husband, [James], went for a walk. [Dan], [James]'s son, tagged along.
proof_state: [{('Dorothy', 'son', 'Dan'): [('Dorothy', 'husband', 'James'), ('James', 'son', 'Dan')]}]