If then the terms are related universally a deduction will be possible, whenever the middle belongs to all of one subject and to none of another (it does not matter which has the negative relation), but in no other way.