Fiona is furry. Gary is smart. If Gary is blue then Gary is smart. If Gary is furry then Gary is green. If someone is smart and not red then they are round. If someone is green and not red then they are furry. If Gary is not blue then Gary is not cold. If someone is green and smart then they are cold. If someone is blue then they are green. If someone is round then they are smart.
Gary is not smart.