Bob is blue. Bob is cold. Bob is rough. Bob is round. Bob is smart. Bob is white. Charlie is not blue. Charlie is cold. Charlie is rough. Charlie is round. Charlie is white. Dave is blue. Dave is cold. Dave is rough. Dave is not smart. Dave is not white. If someone is nice then they are white.
Charlie is not smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Charlie is cold.[(triple8)] Charlie is not blue.[(triple7)] Charlie is rough.[(triple9)] Charlie is round.[(triple10)] Charlie is white.[(triple11)] Dave is blue.[(triple12)] Dave is cold.[(triple13)] Dave is not smart.[(triple15)] Dave is not white.[(triple16)] Dave is rough.[(triple14)]