story: [Lisa] went on a vacation with her brother [Mark]. [Alfred] and his brother [Mark] played a round of golf. [Alfred]'s sister [Carol] watched in excitement. [Sandra] took her daughter [Lisa] to the store to find her some new boots for the cold winter weather.
query: ('Lisa', 'Carol')
clean_story: [Lisa] went on a vacation with her brother [Mark]. [Alfred] and his brother [Mark] played a round of golf. [Alfred]'s sister [Carol] watched in excitement.
proof_state: [{('Lisa', 'sister', 'Carol'): [('Lisa', 'brother', 'Alfred'), ('Alfred', 'sister', 'Carol')]}, {('Lisa', 'brother', 'Alfred'): [('Lisa', 'brother', 'Mark'), ('Mark', 'brother', 'Alfred')]}]