story: [Carol] took her son [Michael] to school and [Carol]'s husband [Mark] took his son [David] to the University. [Richard] asked his father [Mark] if he could have a video game and he said okay.
query: ('Michael', 'David')
clean_story: [Carol] took her son [Michael] to school and [Carol]'s husband [Mark] took his son [David] to the University.
proof_state: [{('Michael', 'brother', 'David'): [('Michael', 'mother', 'Carol'), ('Carol', 'son', 'David')]}, {('Carol', 'son', 'David'): [('Carol', 'husband', 'Mark'), ('Mark', 'son', 'David')]}]