Bob is young. Bob is round. Charlie is young. Charlie is nice. Charlie is cold. Fred is red. Fred is nice. Fred is blue. Gary is young. Gary is red. Gary is nice. Gary is big. If someone is big and blue and green then they are red. If someone is green and round and nice then they are kind. If someone is rough and young and red then they are blue. If someone is rough and young and cold then they are red. If someone is nice and young then they are rough. If someone is nice and young and red then they are blue. If someone is blue and red and young then they are kind.
Charlie is not blue.