story: [John] and his aunt [Sandra] are spending the day together. [Karen]'s mother, [Marian], was eager to see [Karen]'s brother, [John].
query: ('Marian', 'Sandra')
clean_story: [Karen]'s mother, [Marian], was eager to see [Karen]'s brother, [John]. [John] and his aunt [Sandra] are spending the day together.
proof_state: [{('Marian', 'sister', 'Sandra'): [('Marian', 'son', 'John'), ('John', 'aunt', 'Sandra')]}, {('Marian', 'son', 'John'): [('Marian', 'daughter', 'Karen'), ('Karen', 'brother', 'John')]}]