Anne is kind. Anne is rough. Anne is smart. Anne is young. Bob is nice. Bob is rough. Bob is young. If something is smart and furry then it is kind. If something is young and red then it is smart.
Anne is not young.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is nice.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7)]