Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is red. Gary is round. Gary is smart. If Charlie is nice then Charlie is red. If Charlie is cold then Charlie is blue. Blue things are round. If Gary is smart and Gary is cold then Gary is kind. Red, smart things are blue. If Charlie is nice then Charlie is kind.
Gary is not kind.