story: [Craig]'s brother, [David], went to get ice cream with his sister, [Jean]. [Craig]'s brothers, [Larry] and [David], went to a hockey game. [David]'s sister, [Jean], went to a football game instead. [George] took his son [Craig] to see his sister [Martha]
query: ('Martha', 'Larry')
clean_story: [George] took his son [Craig] to see his sister [Martha] [Craig]'s brother, [David], went to get ice cream with his sister, [Jean]. [Craig]'s brothers, [Larry] and [David], went to a hockey game. [David]'s sister, [Jean], went to a football game instead.
proof_state: [{('Martha', 'nephew', 'Larry'): [('Martha', 'brother', 'George'), ('George', 'son', 'Larry')]}, {('George', 'son', 'Larry'): [('George', 'daughter', 'Jean'), ('Jean', 'brother', 'Larry')]}, {('George', 'daughter', 'Jean'): [('George', 'son', 'Craig'), ('Craig', 'sister', 'Jean')]}, {('Jean', 'brother', 'Larry'): [('Jean', 'brother', 'David'), ('David', 'brother', 'Larry')]}, {('David', 'brother', 'Larry'): [('David', 'brother', 'Craig'), ('Craig', 'brother', 'Larry')]}, {('Craig', 'sister', 'Jean'): [('Craig', 'brother', 'David'), ('David', 'sister', 'Jean')]}]
edge_types: ['brother', 'son', 'brother', 'sister', 'brother', 'brother', 'brother']