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