Bob is not big. Bob is not blue. Bob is red. Bob is rough. Charlie is blue. Charlie is furry. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is red. Gary is rough. Furry people are rough. If someone is rough then they are green. If someone is not green and not red then they are blue.
Charlie is red.