Bob is big. Bob is blue. Bob is furry. Bob is red. Bob is rough. Bob is smart. Gary is not big. Gary is furry. Gary is quiet. Gary is not rough. If Bob is not red then Bob is not quiet. If someone is not smart then they are furry.
Bob is not furry.