story: [Lisa] takes her son [Joe] to the park every Saturday. [Lisa] is one of my favorite students. She is the younger sister of [Michael], who I taught last year,
query: ('Michael', 'Joe')
clean_story: [Lisa] is one of my favorite students. She is the younger sister of [Michael], who I taught last year, [Lisa] takes her son [Joe] to the park every Saturday.
proof_state: [{('Michael', 'nephew', 'Joe'): [('Michael', 'sister', 'Lisa'), ('Lisa', 'son', 'Joe')]}]