Is the following sound? All collies are dogs. Some animals are not dogs. So, some animals are not collies.?

Your initial premise is correct, because it upholds the process of elimination, totally eliminating, the possibility of any other animal other than collie dogs from being either dogs or collies. Therefore the premise is certain in the fashion, of the relationship between 0-1