story: [Lisa]'s father [Rudolph] is taking her to a movie because she got good grades. [Lisbeth] and his son [Francisco] are currently visiting [Francisco]'s grandfather [Rudolph] and [Rudolph]'s son [Mark].
query: ('Lisbeth', 'Mark')
clean_story: [Lisbeth] and his son [Francisco] are currently visiting [Francisco]'s grandfather [Rudolph] and [Rudolph]'s son [Mark].
proof_state: [{('Lisbeth', 'brother', 'Mark'): [('Lisbeth', 'father', 'Rudolph'), ('Rudolph', 'son', 'Mark')]}, {('Lisbeth', 'father', 'Rudolph'): [('Lisbeth', 'son', 'Francisco'), ('Francisco', 'grandfather', 'Rudolph')]}]