Anne is nice. Anne is quiet. Charlie is cold. Charlie is round. Erin is not cold. Erin is furry. Erin is quiet. Erin is red. Gary is furry. Gary is red. All quiet, cold things are red. All quiet things are red. If Gary is furry and Gary is kind then Gary is quiet. If Erin is quiet and Erin is furry then Erin is red. Red, cold things are round. If something is not round then it is nice.
Gary is not nice.