Bob is kind. Charlie is not furry. Erin is big. Gary is red. If Bob is red and Bob is not furry then Bob is big. If something is red and not kind then it is rough. If something is not red and not kind then it is rough. If something is big and not cold then it is not kind. If Bob is smart and Bob is not furry then Bob is not rough. All cold things are big. If something is rough then it is big. If something is kind and not big then it is not rough.
Gary is not rough.