Bob is red. Bob is rough. Bob is round. Charlie is furry. Charlie is red. Charlie is not round. Charlie is white. Gary is green. Gary is red. Gary is rough. Gary is round. Gary is white. Smart things are green. If something is not smart then it is green. If something is red and not green then it is round.
Bob is not green.