Ввиду того, что процесс отождествления выражает собой всю сущность дедуктивного вывода, этот процесс не трудно отыскать даже и в таких построениях, в которых акт отождествления прямо отрицается и вывод делается только по силе этого отрицания. Допустим, например, такое построение: истинные христиане живут и действуют по духу веры Христовой; некоторые люди, считающие себя христианами, живут и действуют не по духу веры Христовой; следовательно, некоторые люди, считающие себя христианами, не суть истинные христиане. Процесс этого умозаключения, очевидно, состоит в установлении соотношения предикатов обеих посылок, но подлинное основание данного вывода лежит не в этом соотношении, а позади него. Из того положения, что одна величина не равна другой, нисколько не следует, что она не равна и третьей, если наперед не будет установлено или предположено, что вторая и третья величины равны между собой. Следовательно, отрицание предиката первой посылки в его приложении к субъекту второй посылки нисколько не распространяет этого отрицания и на субъект первой посылки в его отношении к субъекту второй посылки, если только наперед не будет установлено или предположено, что субъект первой посылки вполне покрывает собой свой предикат, и наоборот – что предикат этой посылки вполне покрывает субъект ее, т.е. если не будет наперед установлено или предположено, что субъект и предикат первой посылки – понятия