story: [James] is taking a walk with his daughters [Theresa] and [Marci].
query: ('Marci', 'Theresa')
clean_story: [James] is taking a walk with his daughters [Theresa] and [Marci].
proof_state: [{('Marci', 'sister', 'Theresa'): [('Marci', 'father', 'James'), ('James', 'daughter', 'Theresa')]}]