story: [Otto] bought his wife, [Minnie], a new necklace. [Minnie] took her son [John] to the football game. [Minnie] returned home from work to find her daughter Jesse asleep on the couch. Jesse's older brother [William] was doing his homework in his room.
query: ('Otto', 'John')
clean_story: [Otto] bought his wife, [Minnie], a new necklace. [Minnie] took her son [John] to the football game.
proof_state: [{('Otto', 'son', 'John'): [('Otto', 'wife', 'Minnie'), ('Minnie', 'son', 'John')]}]