story: [Michelle] played cards with her grandson [David]. [David]'s sister [Mary] played video games instead. [Bernard] and [David] are brothers who look nothing alike.
query: ('Michelle', 'Mary')
clean_story: [Michelle] played cards with her grandson [David]. [David]'s sister [Mary] played video games instead.
proof_state: [{('Michelle', 'granddaughter', 'Mary'): [('Michelle', 'grandson', 'David'), ('David', 'sister', 'Mary')]}]