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