Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Dave is not young. Harry is not furry. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is young. If something is young and not green then it is smart.
Harry is not kind.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not young.[(triple7)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is not furry.[(triple8)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]