story: [James] drove his daughter [Amanda] to soccer practice. [Amanda] and [Thomas] have a brother named [Bernard]
query: ('Thomas', 'Bernard')
clean_story: [Amanda] and [Thomas] have a brother named [Bernard]
proof_state: [{('Thomas', 'brother', 'Bernard'): [('Thomas', 'sister', 'Amanda'), ('Amanda', 'brother', 'Bernard')]}]