Далее, если М присуще всем Н и не присуще ни одному О, то и О не будет присуще ни одному Н, ибо если М не присуще ни одному О, то и О не

присуще ни одному М; но было предположено, что М присуще всем Н, следовательно, О не будет присуще ни одному Н, и снова получается первая фигура. А так как отрицательная посылка обратима, то и Н не будет присуще ни одному О, и поэтому снова получится тот же силлогизм.