story: [Adam] took his daughter [Crystal] to the store [Mark] loved staying weekends at his grandfather [Adam]'s house. He would listen to [Adam]'s stories, play checkers, and drink hot chocolate. When he goes home on Sundays he works on homework with his brother [Bernard].
query: ('Adam', 'Bernard')
clean_story: [Mark] loved staying weekends at his grandfather [Adam]'s house. He would listen to [Adam]'s stories, play checkers, and drink hot chocolate. When he goes home on Sundays he works on homework with his brother [Bernard].
proof_state: [{('Adam', 'grandson', 'Bernard'): [('Adam', 'grandson', 'Mark'), ('Mark', 'brother', 'Bernard')]}]