Bob is big. Bob is rough. Bob is smart. Gary is big. Gary is not cold. Gary is nice. Gary is rough. If something is rough then it is smart. All kind things are not green. Smart things are kind.
Gary is not smart.