story: [Charles] invited his brothers [Richard] and [Andrew] to play baskteball on Saturday at 4:00 p.m. [Donald] took his son [Richard] out for ice cream. [Jeremy] adored his brother, [Richard]. [Richard]'s brother, [Andrew], also adored him.
query: ('Jeremy', 'Donald')
clean_story: [Jeremy] adored his brother, [Richard]. [Richard]'s brother, [Andrew], also adored him. [Charles] invited his brothers [Richard] and [Andrew] to play baskteball on Saturday at 4:00 p.m. [Donald] took his son [Richard] out for ice cream.
proof_state: [{('Jeremy', 'father', 'Donald'): [('Jeremy', 'brother', 'Andrew'), ('Andrew', 'father', 'Donald')]}, {('Andrew', 'father', 'Donald'): [('Andrew', 'brother', 'Charles'), ('Charles', 'father', 'Donald')]}, {('Jeremy', 'brother', 'Andrew'): [('Jeremy', 'brother', 'Richard'), ('Richard', 'brother', 'Andrew')]}, {('Charles', 'father', 'Donald'): [('Charles', 'brother', 'Richard'), ('Richard', 'father', 'Donald')]}]
edge_types: ['brother', 'brother', 'brother', 'brother', 'father']