Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is not smart. Gary is blue. Gary is cold. Gary is kind. Gary is not rough. Gary is smart. All smart things are red. If something is kind and rough then it is quiet.
Bob is not cold.