Gary is big. If Gary is kind and Gary is cold then Gary is not big. If someone is kind then they are not big. If someone is kind then they are big. Green people are kind. If someone is not furry then they are smart. Big, cold people are not kind. All smart people are cold. All cold people are blue.
Gary is not smart.