story: [Otto] wanted to go to the park with his sister [Nancy]. [Nancy] said she'd rather go swimming with her sister [Crystal] instead. [Otto] went to the wedding ceremony for his brother [James].
query: ('Otto', 'Crystal')
clean_story: [Otto] wanted to go to the park with his sister [Nancy]. [Nancy] said she'd rather go swimming with her sister [Crystal] instead.
proof_state: [{('Otto', 'sister', 'Crystal'): [('Otto', 'sister', 'Nancy'), ('Nancy', 'sister', 'Crystal')]}]