story: [James] is a man with a son named [Adam]. [Bernard] and his sister [Mary] stood in line at the fair. [Mary] has a grandfather named [Adam].
query: ('Adam', 'Bernard')
clean_story: [Mary] has a grandfather named [Adam]. [Bernard] and his sister [Mary] stood in line at the fair.
proof_state: [{('Adam', 'grandson', 'Bernard'): [('Adam', 'granddaughter', 'Mary'), ('Mary', 'brother', 'Bernard')]}]