Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Fiona is rough. Gary is furry. Gary is green. Gary is nice. Gary is smart. Gary is white. Harry is green. Harry is nice. Harry is smart. Harry is white. If something is red and not rough then it is not white.
Gary is rough.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Fiona is rough.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)]