story: [Lisa] is the lovely aunt of [Dan] [Dorothy] visited her son [Dan] at college.
query: ('Dorothy', 'Lisa')
clean_story: [Dorothy] visited her son [Dan] at college. [Lisa] is the lovely aunt of [Dan]
proof_state: [{('Dorothy', 'sister', 'Lisa'): [('Dorothy', 'son', 'Dan'), ('Dan', 'aunt', 'Lisa')]}]