story: [Kent]'s wife, [Sharon], was thrilled to learn she was pregnant. [Johnny] was playing checkers with his brother [Kent]. [Johnny]'s sister [Florence] was waiting to play. [Oliver] played chess with his brother [Brian]. [Davis] and his brother [Oliver] always played pranks on each other [Sharon] and her son [Brian] went out to lunch together yesterday.
query: ('Florence', 'Davis')
clean_story: [Johnny] was playing checkers with his brother [Kent]. [Johnny]'s sister [Florence] was waiting to play. [Kent]'s wife, [Sharon], was thrilled to learn she was pregnant. [Sharon] and her son [Brian] went out to lunch together yesterday. [Oliver] played chess with his brother [Brian]. [Davis] and his brother [Oliver] always played pranks on each other
proof_state: [{('Florence', 'nephew', 'Davis'): [('Florence', 'brother', 'Kent'), ('Kent', 'son', 'Davis')]}, {('Kent', 'son', 'Davis'): [('Kent', 'son', 'Oliver'), ('Oliver', 'brother', 'Davis')]}, {('Kent', 'son', 'Oliver'): [('Kent', 'son', 'Brian'), ('Brian', 'brother', 'Oliver')]}, {('Florence', 'brother', 'Kent'): [('Florence', 'brother', 'Johnny'), ('Johnny', 'brother', 'Kent')]}, {('Kent', 'son', 'Brian'): [('Kent', 'wife', 'Sharon'), ('Sharon', 'son', 'Brian')]}]
edge_types: ['brother', 'brother', 'wife', 'son', 'brother', 'brother']