Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Gary is big. Gary is green. Gary is kind. Gary is nice. Gary is red. If Gary is blue then Gary is kind. If Gary is red and Gary is kind then Gary is nice. Green, nice people are rough. If Gary is nice and Gary is blue then Gary is big. If someone is green and big then they are nice. If Charlie is rough and Charlie is big then Charlie is blue.
Charlie is not big.