story: [Adam] took his son [Otto] out to dinner to celebrate his promotion. [Otto] brought his son, [William], along to celebrate. [Minnie] fixed her husband [Otto] a special dinner yesterday because it was his birthday.
query: ('Adam', 'William')
clean_story: [Adam] took his son [Otto] out to dinner to celebrate his promotion. [Otto] brought his son, [William], along to celebrate.
proof_state: [{('Adam', 'grandson', 'William'): [('Adam', 'son', 'Otto'), ('Otto', 'son', 'William')]}]