story: [James] is [Michael]'s brother. [Michelle] is [James]'s sister. [Michael] is a brother of [Elliott]. bat
query: ('Elliott', 'Michelle')
clean_story: [James] is [Michael]'s brother. [Michelle] is [James]'s sister. [Michael] is a brother of [Elliott]. bat
proof_state: [{('Elliott', 'sister', 'Michelle'): [('Elliott', 'brother', 'James'), ('James', 'sister', 'Michelle')]}, {('Elliott', 'brother', 'James'): [('Elliott', 'brother', 'Michael'), ('Michael', 'brother', 'James')]}]