story: [Kimberley] was always arguing with her mother's husband [Richard]. [Richard] is buying his daughter [Anne] a brand new car for her birthday. [Kelley] took her sister, [Mary], out to dinner for her birthday. [Anne], who is the sister of [Kelley], is a lovely girl.
query: ('Mary', 'Kimberley')
clean_story: [Kelley] took her sister, [Mary], out to dinner for her birthday. [Anne], who is the sister of [Kelley], is a lovely girl. [Richard] is buying his daughter [Anne] a brand new car for her birthday. [Kimberley] was always arguing with her mother's husband [Richard].
proof_state: [{('Mary', 'sister', 'Kimberley'): [('Mary', 'sister', 'Anne'), ('Anne', 'sister', 'Kimberley')]}, {('Mary', 'sister', 'Anne'): [('Mary', 'sister', 'Kelley'), ('Kelley', 'sister', 'Anne')]}, {('Anne', 'sister', 'Kimberley'): [('Anne', 'father', 'Richard'), ('Richard', 'daughter', 'Kimberley')]}]
edge_types: ['sister', 'sister', 'father', 'daughter']