Charlie is rough. Charlie is smart. Charlie is white. Dave is nice. Dave is rough. Dave is round. Dave is not smart. Harry is nice. Harry is not round. Harry is young. Cold things are nice.
Charlie is not nice.
@0: Charlie is rough.[(triple1)] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] Dave is nice.[(triple4)] Dave is not smart.[(triple7)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Harry is nice.[(triple8)] Harry is not round.[(triple9)] Harry is young.[(triple10)]