Charlie is not blue. Charlie is cold. Charlie is not kind. Charlie is nice. Charlie is not rough. Charlie is round. Charlie is white. Dave is blue. Dave is not cold. Dave is kind. Dave is not round. Dave is white. Rough people are white. If someone is nice and not white then they are blue.
Charlie is not rough.
@0: Charlie is cold.[(triple2)] Charlie is nice.[(triple4)] Charlie is not blue.[(triple1)] Charlie is not kind.[(triple3)] Charlie is not rough.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple10)] Dave is not cold.[(triple9)] Dave is not round.[(triple11)] Dave is white.[(triple12)]