story: [Alan] and his brothers [Michael] and [James] went to the football game. [James]'s sister [Marian] was a cheerleader at the game.
query: ('Michael', 'Marian')
clean_story: [Alan] and his brothers [Michael] and [James] went to the football game. [James]'s sister [Marian] was a cheerleader at the game.
proof_state: [{('Michael', 'sister', 'Marian'): [('Michael', 'brother', 'Alan'), ('Alan', 'sister', 'Marian')]}, {('Alan', 'sister', 'Marian'): [('Alan', 'brother', 'James'), ('James', 'sister', 'Marian')]}]