Taolisi süllogisme saab moodustada neljal viisil (neli nn. figuuri), millest Aristoteles käsitles ainult kolme esimest. Tõestamaks süllogistiliselt, et a on g, tuleb leida selline b, et üks järgmistest variantidest kehtiks: