Les enfants intelligents et laborieux sont estimables,
Or les enfants de M.S. sont intelligents et laborieux,
Donc les enfants de M.X. sont estimables.
La conclusion d'un syllogisme est indirecte lorsque ses termes n'y occupent pas la même place que dans les prémisses. Exemple :
La vertu est une source de joie,
Or la vertu est une bonne habitude,
Donc une bonne habitude est une source joie.
(Leçons de Logique)