story: [Otto]'s son is [John]. [John] and his father always go fishing together on Sundays and have a great time together. [Otto] and his daughter, [Tammy] go to concerts every week. [Michelle] has a son named [Otto].
query: ('Michelle', 'John')
clean_story: [Michelle] has a son named [Otto]. [Otto]'s son is [John]. [John] and his father always go fishing together on Sundays and have a great time together.
proof_state: [{('Michelle', 'grandson', 'John'): [('Michelle', 'son', 'Otto'), ('Otto', 'son', 'John')]}]