story: [Ellen] and her sister [Beatrice] played golf together. [Ellen] won easily. [Beatrice] is a sister of [William]. [Beatrice] loves her brother [Raymond].
query: ('William', 'Ellen')
clean_story: [Beatrice] is a sister of [William]. [Ellen] and her sister [Beatrice] played golf together. [Ellen] won easily.
proof_state: [{('William', 'sister', 'Ellen'): [('William', 'sister', 'Beatrice'), ('Beatrice', 'sister', 'Ellen')]}]