Bob is blue. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Charlie is blue. Charlie is rough. Gary is green. Gary is nice. If something is quiet and green then it is smart. Green things are nice. All blue, rough things are quiet.
Charlie is not smart.