story: [Carol] has a son called [Michael]. Each day they go to the park after school. [Carol] went horseback riding with her son [Richard]. While they were gone, [Carol]'s husband [Mark] watched the football game with his brother [Alfred].
query: ('Alfred', 'Richard')
clean_story: [Carol] went horseback riding with her son [Richard]. While they were gone, [Carol]'s husband [Mark] watched the football game with his brother [Alfred].
proof_state: [{('Alfred', 'nephew', 'Richard'): [('Alfred', 'brother', 'Mark'), ('Mark', 'son', 'Richard')]}, {('Mark', 'son', 'Richard'): [('Mark', 'wife', 'Carol'), ('Carol', 'son', 'Richard')]}]