story: [Karen] loves making hot cocoa for her son's daughter. Her name is [Barbara]. [Serena] went to the store with her sister [Lisa] [Lisa], who is the sister of [Barbara], is a lovely girl. [Lisa] brought her grandmother, [Karen], some muffins.
clean_story: [Lisa] brought her grandmother, [Karen], some muffins. [Serena] went to the store with her sister [Lisa]
proof_state: [{('Karen', 'granddaughter', 'Serena'): [('Karen', 'granddaughter', 'Lisa'), ('Lisa', 'sister', 'Serena')]}]