sentences:  If I say,
  
  "No B is C,"
  
  "A is C,"
  
  "Therefore, A is not B"
  
  My inference is valid only if I silently interpose the immediate inference "No C is B" after the first premise.It is merely the negative converse of the first premise.Without it, the ratiocination is invalid.