Charlie is furry. Charlie is smart. Gary is blue. Gary is not furry. Gary is green. Gary is not quiet. Harry is blue. Harry is furry. Harry is quiet. Harry is not red. Harry is not round. Harry is smart. If Gary is red then Gary is not green. If someone is not blue then they are red. Red people are not quiet. If someone is round and smart then they are not blue. If someone is quiet then they are smart. If someone is not blue then they are furry. If someone is blue and not smart then they are green. If someone is round and not smart then they are quiet.
Gary is not red.