story: [Stanley] has a wife who is [Molly]. [Molly] has a son called [Michael]. [Stanley] is male, [Molly] is female. [Alan] is [Michael]'s brother. [Alan] is male
query: ('Stanley', 'Alan')
clean_story: [Stanley] has a wife who is [Molly]. [Molly] has a son called [Michael]. [Stanley] is male, [Molly] is female. [Alan] is [Michael]'s brother. [Alan] is male
proof_state: [{('Stanley', 'son', 'Alan'): [('Stanley', 'wife', 'Molly'), ('Molly', 'son', 'Alan')]}, {('Molly', 'son', 'Alan'): [('Molly', 'son', 'Michael'), ('Michael', 'brother', 'Alan')]}]