story: [Micheal]'s father, [James], bought him some ice cream. [Kevin] is happy that his brother, [Micheal], is becoming successful.
query: ('Kevin', 'James')
clean_story: [Kevin] is happy that his brother, [Micheal], is becoming successful. [Micheal]'s father, [James], bought him some ice cream.
proof_state: [{('Kevin', 'father', 'James'): [('Kevin', 'brother', 'Micheal'), ('Micheal', 'father', 'James')]}]