story: [Otto] 'son [John] could not believe that his father bought him a coffee machine for his birthday. [William] bought his wife, [Tammy], a new necklace. [Otto] went to pick up his son [William] from the baseball practice.
query: ('Otto', 'Tammy')
clean_story: [Otto] went to pick up his son [William] from the baseball practice. [William] bought his wife, [Tammy], a new necklace.
proof_state: [{('Otto', 'daughter-in-law', 'Tammy'): [('Otto', 'son', 'William'), ('William', 'wife', 'Tammy')]}]