story: [Otto] went to the game with his son [William] and his father [Adam] [Nancy] asked her father [Adam] if she could spend the night with a friend and he said okay.
query: ('Adam', 'William')
clean_story: [Otto] went to the game with his son [William] and his father [Adam]
proof_state: [{('Adam', 'grandson', 'William'): [('Adam', 'son', 'Otto'), ('Otto', 'son', 'William')]}]