story: [Richard]'s father, [Mark], bought him some ice cream. Joe asked [Alfred] if his uncle [Richard] had any experience with cars. [Rudolph] went hunting with his son, [Alfred]. [Carol] has a son named [Richard].
query: ('Carol', 'Rudolph')
clean_story: [Carol] has a son named [Richard]. Joe asked [Alfred] if his uncle [Richard] had any experience with cars. [Rudolph] went hunting with his son, [Alfred].
proof_state: [{('Carol', 'father', 'Rudolph'): [('Carol', 'brother', 'Alfred'), ('Alfred', 'father', 'Rudolph')]}, {('Carol', 'brother', 'Alfred'): [('Carol', 'son', 'Richard'), ('Richard', 'uncle', 'Alfred')]}]