Bob is green. Bob is quiet. Bob is red. Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Erin is green. Erin is red. Gary is furry. Gary is green. Gary is quiet. All red people are kind. All furry people are smart. If someone is kind and quiet then they are cold. If someone is red and kind then they are furry. Furry people are green. Smart people are quiet. If Charlie is quiet then Charlie is red. Smart people are furry.
Gary is not cold.