story: [Joe] asked his father, [Dwight], to take him to the movies. [Dwight] was too busy, so [Dwight]'s brother [Michael] offered to take the boy instead.
query: ('Joe', 'Michael')
clean_story: [Joe] asked his father, [Dwight], to take him to the movies. [Dwight] was too busy, so [Dwight]'s brother [Michael] offered to take the boy instead.
proof_state: [{('Joe', 'uncle', 'Michael'): [('Joe', 'father', 'Dwight'), ('Dwight', 'brother', 'Michael')]}]