story: [Tammy] does n't like her brother [John]. [Tammy] was having a hard time with her math homework, so she went to her brother [Dana] for help. [Dana] did n't seem to know either, so [Tammy] went to her father [Otto], as she was sure he could help.
query: ('Otto', 'Dana')
clean_story: [Tammy] was having a hard time with her math homework, so she went to her brother [Dana] for help. [Dana] did n't seem to know either, so [Tammy] went to her father [Otto], as she was sure he could help.
proof_state: [{('Otto', 'son', 'Dana'): [('Otto', 'daughter', 'Tammy'), ('Tammy', 'brother', 'Dana')]}]