Charlie is cold. Charlie is furry. Charlie is nice. Charlie is red. Charlie is not smart. Dave is cold. Dave is not kind. Dave is nice. Dave is quiet. Fiona is kind. Gary is not nice. Gary is red. Kind people are furry. If someone is not kind then they are furry. If someone is not red then they are furry. If someone is nice then they are not kind. If Gary is quiet and Gary is red then Gary is smart. All red people are not quiet. All smart people are cold. If someone is nice and not cold then they are not furry.
Charlie is nice.