story: [Alan]'s two children, [Stanley] and [Venita] played soccer as children. [Stanley]'s son, [Michael] now plays too.
query: ('Michael', 'Venita')
clean_story: [Alan]'s two children, [Stanley] and [Venita] played soccer as children. [Stanley]'s son, [Michael] now plays too.
proof_state: [{('Michael', 'niece', 'Venita'): [('Michael', 'brother', 'Alan'), ('Alan', 'daughter', 'Venita')]}, {('Michael', 'brother', 'Alan'): [('Michael', 'father', 'Stanley'), ('Stanley', 'son', 'Alan')]}]