Bob is big. Bob is kind. Bob is red. Bob is rough. Bob is white. Bob is young. Charlie is big. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is young. Gary is big. Gary is red. Gary is white. Gary is young. If Gary is smart then Gary is kind. All rough people are kind. If someone is kind then they are young. If Charlie is rough and Charlie is white then Charlie is smart. Smart, big people are red. Young people are smart. If someone is rough then they are kind. Young people are big.
Charlie is not red.