story: [David] is [Richard]'s Brother. [Carol]'s son [Richard] and son [Michael] went to the park together to play. [Mark] was happy that his son [Richard] was doing well in college.
query: ('Mark', 'Michael')
clean_story: [Mark] was happy that his son [Richard] was doing well in college. [Carol]'s son [Richard] and son [Michael] went to the park together to play.
proof_state: [{('Mark', 'son', 'Michael'): [('Mark', 'son', 'Richard'), ('Richard', 'brother', 'Michael')]}, {('Richard', 'brother', 'Michael'): [('Richard', 'mother', 'Carol'), ('Carol', 'son', 'Michael')]}]