story: [Carol] takes her son [Jason] to the park every Saturday. [Carol] and her daughter [Mary] are entering the competition together. [James] is a man with a brother named [Alfred]. [Jason] met his uncle, [James], at the zoo for some fun.
query: ('Carol', 'Alfred')
clean_story: [Carol] takes her son [Jason] to the park every Saturday. [Jason] met his uncle, [James], at the zoo for some fun. [James] is a man with a brother named [Alfred].
proof_state: [{('Carol', 'brother', 'Alfred'): [('Carol', 'brother', 'James'), ('James', 'brother', 'Alfred')]}, {('Carol', 'brother', 'James'): [('Carol', 'son', 'Jason'), ('Jason', 'uncle', 'James')]}]