story: [Carol]'s son [Jason] and son [Michael] went to the park together to play. [Carol] took her son [David] to the mall to shop for school clothes. [Richard] and his brother [Michael] went to see a baseball game on Friday and had a great time.
query: ('Jason', 'Richard')
clean_story: [Carol]'s son [Jason] and son [Michael] went to the park together to play. [Richard] and his brother [Michael] went to see a baseball game on Friday and had a great time.
proof_state: [{('Jason', 'brother', 'Richard'): [('Jason', 'mother', 'Carol'), ('Carol', 'son', 'Richard')]}, {('Carol', 'son', 'Richard'): [('Carol', 'son', 'Michael'), ('Michael', 'brother', 'Richard')]}]