Bob is nice. Bob is red. Bob is smart. Charlie is furry. Charlie is green. Charlie is nice. Charlie is smart. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Harry is green. Harry is quiet. Harry is red. If someone is nice and furry then they are cold. If someone is smart then they are cold. All nice, quiet people are furry. If someone is quiet then they are red. If Gary is cold and Gary is red then Gary is smart. If someone is smart and furry then they are cold. If Harry is red then Harry is nice. If Charlie is quiet then Charlie is nice.
Gary is smart.