story: [Minnie] and her son [Dana] went to the zoo and then out to dinner yesterday. [John] has an awesome mom named [Minnie]. [Minnie] has a lovely husband named [Otto].
query: ('Otto', 'John')
clean_story: [John] has an awesome mom named [Minnie]. [Minnie] has a lovely husband named [Otto].
proof_state: [{('Otto', 'son', 'John'): [('Otto', 'wife', 'Minnie'), ('Minnie', 'son', 'John')]}]