Tanıtlanamazlar arasında yer almayan çıkarımların tanıtlanamazlara indirgen- mesinde başvurulan kuralların (themata) sayısı dörttür. Bunlardan sadece birincisi ve üçüncüsü bilinmektedir.

Birinci thema şöyle ifade edilmektedir: iki önermeden bir üçüncüsü çıkıyor ise, o zaman ilk ikisinden biri ile sonucun çeliştiğinden diğerinin çelişiği çıkar.