story: [Dana] asked his father, [Otto], to help him with his math homework. [Otto] could n't, because he was lousy at math himself. [Otto] has been trying all day to reach his daughter [Rebbeca] on the phone. [Otto] loved teaching his son, [John], baseball.
query: ('Dana', 'John')
clean_story: [Dana] asked his father, [Otto], to help him with his math homework. [Otto] could n't, because he was lousy at math himself. [Otto] loved teaching his son, [John], baseball.
proof_state: [{('Dana', 'brother', 'John'): [('Dana', 'father', 'Otto'), ('Otto', 'son', 'John')]}]