story: [Carol] took her husband, [Mark], and his brother, [Peter], a set of tools. [Mark] and [Peter] were building their father, [Rudolph], a new shed. [Rudolph] and his daughter, [Rose] go to concerts every week.
query: ('Rudolph', 'Carol')
clean_story: [Carol] took her husband, [Mark], and his brother, [Peter], a set of tools. [Mark] and [Peter] were building their father, [Rudolph], a new shed.
proof_state: [{('Rudolph', 'daughter-in-law', 'Carol'): [('Rudolph', 'son', 'Mark'), ('Mark', 'wife', 'Carol')]}, {('Rudolph', 'son', 'Mark'): [('Rudolph', 'son', 'Peter'), ('Peter', 'brother', 'Mark')]}]