story: [Nancy] and her son [Leo] went to the zoo and then out to dinner yesterday. [Nancy] likes taking her son [Jess] to school. [Nancy] and [Paul]
query: ('Paul', 'Leo')
clean_story: [Nancy] and [Paul] [Nancy] and her son [Leo] went to the zoo and then out to dinner yesterday.
proof_state: [{('Paul', 'son', 'Leo'): [('Paul', 'wife', 'Nancy'), ('Nancy', 'son', 'Leo')]}]