story: [Dorothy] and her sister [Christopher] went to the ice cream shop. [Christopher] is [Dwight]'s Brother.
query: ('Dwight', 'Dorothy')
clean_story: [Christopher] is [Dwight]'s Brother. [Dorothy] and her sister [Christopher] went to the ice cream shop.
proof_state: [{('Dwight', 'sister', 'Dorothy'): [('Dwight', 'brother', 'Christopher'), ('Christopher', 'sister', 'Dorothy')]}]