Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is smart. If someone is quiet then they are rough. All quiet, smart people are green. All rough, nice people are red. Smart people are rough. Kind people are green. All rough, red people are quiet. If someone is red and smart then they are rough. All red people are quiet.
Gary is not smart.