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