story: [Carol] has a son called [Richard]. Each day they go to the park after school. [Carol] is a lovely mother. She has a son named [Michael], who she loves infinitely. [Richard] went to pick up his uncle from the airport with his uncle's wife [Lisbeth]. [Mark] is a man with a son named [Richard].
query: ('Michael', 'Lisbeth')
clean_story: [Carol] is a lovely mother. She has a son named [Michael], who she loves infinitely. [Carol] has a son called [Richard]. Each day they go to the park after school. [Richard] went to pick up his uncle from the airport with his uncle's wife [Lisbeth].
proof_state: [{('Michael', 'aunt', 'Lisbeth'): [('Michael', 'mother', 'Carol'), ('Carol', 'sister', 'Lisbeth')]}, {('Carol', 'sister', 'Lisbeth'): [('Carol', 'son', 'Richard'), ('Richard', 'aunt', 'Lisbeth')]}]