Charlie is nice. Charlie is red. Charlie is smart. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is white. If Charlie is nice and Charlie is red then Charlie is quiet. Rough, red people are white. All rough people are cold. Nice, cold people are smart. If someone is quiet and smart then they are cold. If Charlie is cold then Charlie is red. If Gary is red then Gary is rough. If someone is quiet then they are white.
Charlie is not nice.