story: [Patrick]'s mother, [Erica], was disappointed that he failed his math class [Patrick] was thrilled his brother, [Ross], was able to make it to the party. [Ross] asked his brother [Alfredo] if he would come help him fix his car next weekend. [Joseph] and his son [Michael] went to the cinema together. [Ross] invited his father [Joseph] and his brother [Alfredo] to go on a weekend fishing trip.
query: ('Michael', 'Erica')
clean_story: [Joseph] and his son [Michael] went to the cinema together. [Ross] invited his father [Joseph] and his brother [Alfredo] to go on a weekend fishing trip. [Ross] asked his brother [Alfredo] if he would come help him fix his car next weekend. [Patrick] was thrilled his brother, [Ross], was able to make it to the party. [Patrick]'s mother, [Erica], was disappointed that he failed his math class
proof_state: [{('Michael', 'mother', 'Erica'): [('Michael', 'brother', 'Alfredo'), ('Alfredo', 'mother', 'Erica')]}, {('Alfredo', 'mother', 'Erica'): [('Alfredo', 'brother', 'Patrick'), ('Patrick', 'mother', 'Erica')]}, {('Alfredo', 'brother', 'Patrick'): [('Alfredo', 'brother', 'Ross'), ('Ross', 'brother', 'Patrick')]}, {('Michael', 'brother', 'Alfredo'): [('Michael', 'brother', 'Ross'), ('Ross', 'brother', 'Alfredo')]}, {('Michael', 'brother', 'Ross'): [('Michael', 'father', 'Joseph'), ('Joseph', 'son', 'Ross')]}]
edge_types: ['father', 'son', 'brother', 'brother', 'brother', 'mother']