story: [Mark] has a son named [David] that looks exactly like him. [David] and his brother [Michael] were rarely seen apart. [Carol] has been waiting around all day for her son, [David]. [Richard] wanted to buy his mother, [Carol], a birthday present. But he did n't know what to get her.
query: ('Richard', 'Mark')
clean_story: [Richard] wanted to buy his mother, [Carol], a birthday present. But he did n't know what to get her. [Carol] has been waiting around all day for her son, [David]. [Mark] has a son named [David] that looks exactly like him.
proof_state: [{('Richard', 'father', 'Mark'): [('Richard', 'brother', 'David'), ('David', 'father', 'Mark')]}, {('Richard', 'brother', 'David'): [('Richard', 'mother', 'Carol'), ('Carol', 'son', 'David')]}]