story: [James] and his son [David] went to the park to look for different kinds of birds. [James] took his son [Mark] to soccer practice. [Bernard] and [David] are brothers. they like to spend time together
query: ('David', 'Mark')
clean_story: [James] and his son [David] went to the park to look for different kinds of birds. [James] took his son [Mark] to soccer practice.
proof_state: [{('David', 'brother', 'Mark'): [('David', 'father', 'James'), ('James', 'son', 'Mark')]}]