story: [Adam] hired his daughter to work in the shop with him. His daughter brings her son [William] with her to visit occasionally. [William] went to the wedding ceremony for his brother [Dana]. [William] and his father [Otto] played video games all day last Saturday.
query: ('Adam', 'Dana')
clean_story: [Adam] hired his daughter to work in the shop with him. His daughter brings her son [William] with her to visit occasionally. [William] went to the wedding ceremony for his brother [Dana].
proof_state: [{('Adam', 'grandson', 'Dana'): [('Adam', 'grandson', 'William'), ('William', 'brother', 'Dana')]}]