story: [Bernard] and his sister [Mary] were twins. Still, they did n't look very much alike. [Bernard] is the great brother of [David]. [James] is a man with a son named [Bernard].
query: ('David', 'James')
clean_story: [Bernard] is the great brother of [David]. [James] is a man with a son named [Bernard].
proof_state: [{('David', 'father', 'James'): [('David', 'brother', 'Bernard'), ('Bernard', 'father', 'James')]}]