Charlie is big. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Fiona is big. Fiona is green. Fiona is smart. Fiona is young. Gary is green. Gary is red. Harry is big. Harry is rough. Harry is white. If something is young then it is white. If Gary is white and Gary is smart then Gary is big. White, red things are young. If Fiona is red then Fiona is rough. Rough, green things are young. If Gary is rough then Gary is red. If Gary is green and Gary is red then Gary is rough. White, red things are smart. If Gary is smart and Gary is young then Gary is big.
Gary is not smart.