Bob is cold. Bob is rough. Charlie is smart. Charlie is white. Dave is not big. Dave is cold. Dave is nice. Dave is not rough. Dave is white. Dave is young. Gary is not cold. Gary is nice. If Bob is white then Bob is rough. If something is rough and not nice then it is big. If something is white and not cold then it is smart.
Bob is not smart.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Dave is not big.[(triple5)] Dave is not rough.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Gary is nice.[(triple12)] Gary is not cold.[(triple11)]