Bob is furry. Bob is rough. Bob is smart. Charlie is big. Charlie is green. Charlie is round. Charlie is smart. Gary is furry. Gary is green. Gary is smart. Harry is nice. Harry is rough. If Gary is not rough then Gary is smart. If something is not big then it is green. If something is furry and not smart then it is not big.
Gary is not nice.