Premisa 1: Todo C es S. Premisa 2: Algunos C no son G. Premisa 3: Algunos F no son C. Premisa 4: Algunos G no son S. Premisa 5: Todo E no es S. Premisa 6: C no es igual a S. De lo anterior se concluye con certeza que 1) todo G no es S. y 2) todo S no es F. x 3) algunos C son E. 4) algunos $ no son C.