Gary is big. Gary is red. Gary is young. If Gary is kind and Gary is young then Gary is rough. If something is kind then it is nice. Young things are kind. Rough, smart things are big. All smart things are rough. All rough, big things are red. Red, big things are smart. Red things are big.
Gary is not red.