story: [Otto] took his son [John] for boxing lessons. He felt the boy needed to toughen up. [Tammy] and her sister [John] went to the ice cream shop. [Dana] and his brother [John] got into a fight over who was the better basketball player.
query: ('Otto', 'Tammy')
clean_story: [Otto] took his son [John] for boxing lessons. He felt the boy needed to toughen up. [Tammy] and her sister [John] went to the ice cream shop.
proof_state: [{('Otto', 'daughter', 'Tammy'): [('Otto', 'son', 'John'), ('John', 'sister', 'Tammy')]}]