story: [David] is happy that his brother, [Jason], is becoming successful. [Lisbeth] and her sister [Carol] braided each other's hair before school. [Carol] took her father [Rudolph] out to dinner one day and also brought along her son [Jason].
query: ('David', 'Rudolph')
clean_story: [David] is happy that his brother, [Jason], is becoming successful. [Carol] took her father [Rudolph] out to dinner one day and also brought along her son [Jason].
proof_state: [{('David', 'grandfather', 'Rudolph'): [('David', 'mother', 'Carol'), ('Carol', 'father', 'Rudolph')]}, {('David', 'mother', 'Carol'): [('David', 'brother', 'Jason'), ('Jason', 'mother', 'Carol')]}]