Charlie is blue. Charlie is furry. Charlie is not kind. Charlie is nice. Erin is furry. Erin is kind. Erin is young. Gary is blue. Gary is furry. Gary is young. All quiet things are young. If Gary is quiet then Gary is red. If something is not blue then it is quiet. All young things are quiet. If Erin is red and Erin is furry then Erin is not kind. If Charlie is not young then Charlie is not kind. If something is not quiet and not young then it is furry. If Gary is blue and Gary is not furry then Gary is red.
Charlie is not young.