Bob is smart. Charlie is green. Gary is smart. Red, smart people are blue. All cold, big people are red. If someone is big and smart then they are not kind. If Charlie is green and Charlie is cold then Charlie is red. If someone is not kind then they are smart. If Bob is red then Bob is smart. If someone is red then they are cold. If Gary is big and Gary is not smart then Gary is not kind.
Charlie is big.