story: [Jason] drove his daughters [Lisa] and [Dorothy] to school.
query: ('Dorothy', 'Lisa')
clean_story: [Jason] drove his daughters [Lisa] and [Dorothy] to school.
proof_state: [{('Dorothy', 'sister', 'Lisa'): [('Dorothy', 'father', 'Jason'), ('Jason', 'daughter', 'Lisa')]}]