story: [Donald] made sandwiches for his sons [Andrew] and [Richard]. [Andrew]'s brother [Charles] ate a salad instead. [Charles] and his brother [Andrew] always played pranks on each other [Jeremy] bought to dress for his father [Donald]
query: ('Andrew', 'Jeremy')
clean_story: [Charles] and his brother [Andrew] always played pranks on each other [Donald] made sandwiches for his sons [Andrew] and [Richard]. [Andrew]'s brother [Charles] ate a salad instead. [Jeremy] bought to dress for his father [Donald]
proof_state: [{('Andrew', 'brother', 'Jeremy'): [('Andrew', 'brother', 'Charles'), ('Charles', 'brother', 'Jeremy')]}, {('Charles', 'brother', 'Jeremy'): [('Charles', 'father', 'Donald'), ('Donald', 'son', 'Jeremy')]}, {('Charles', 'father', 'Donald'): [('Charles', 'brother', 'Andrew'), ('Andrew', 'father', 'Donald')]}, {('Andrew', 'father', 'Donald'): [('Andrew', 'brother', 'Richard'), ('Richard', 'father', 'Donald')]}]
edge_types: ['brother', 'brother', 'brother', 'father', 'son']