Итак, первой посылкой вывода по методу сопутствующих изменений является суждение о некоторой группе, имеющее ряд предикатов. Каждый из этих предикатов — порознь или в соединении с другим предикатом той же группы — указывает на одну из возможных причин явления а. Такой причиной может быть или А, или А1, или В, или С, или АВ, или А1В1, или АС, или A1C, или ВС и т. д.
Рассматривая группу возможностей, выражаемых нашей посылкой, мы вправе разделить всю группу этих возможностей на две подгруппы. В первую войдут все предикаты, указывающие на обстоятельство А (со всеми его изменениями, например А1), как на причину явления а или по крайней мере как на составную часть этой причины (А, А1 AB, A1B, АС, А1С). Во вторую войдут все предикаты, указывающие на другие обстоятельства, как на возможные причины или как на части причин явления а (В, ВС, С). В результате этого разделения наше суждение о группе обстоятельств АА1ВС примет следующий вид: причиной или по крайней мере частью причины явления а может быть либо обстоятельство А, либо все остальные обстоятельства.
Второй посылкой вывода по методу сопутствующих изменений является суждение, удостоверяющее, что явление а в каждом случае изменяется: в первом оно выступает как а, во втором — как а1.
Но об изменяющемся явлении мы вправе утверждать, что его полной причиной никак не могут быть обстоятельства, которые в ходе его изменения сами остались неизменными. Поэтому, зная, что явление а во втором случае изменилось в а1, и зная, что обстоятельства В и С во втором случае остались неизменными, мы вправе исключить обстоятельства В и С из числа возможных причин явления а, указанных нашей первой посылкой — суждением о группе АА1ВС.
Таким образом, из обеих подгрупп, между которыми в первой посылке распределились все её предикаты, мы должны исключить всю ту подгруппу, в которой в качестве возможных причин явления а и его изменений (а1) указываются обстоятельства В, С, ВС. Остаётся заключить, что причину явления а со всеми его изменениями (а1) следует видеть либо в изменяющемся обстоятельстве A (A1), отдельно взятом, либо в соединении его с каким-либо из других обстоятельств (А, АВ, АС, А1, А1В, А1С).
Иными словами, весь ход вывода по методу сопутствующих изменений состоит в умозаключении от суждения о группе, указывающего всю совокупность обстоятельств, какие могут быть причинами явления а — через исключение тех из них, которые в обоих случаях остаются неизменными, — к тому обстоятельству, которое оказалось изменяющимся в данном случае.
Условием исключения, посредством которого доходят до заключения о причинной связи между изменяющимся обстоятельством А и изменяющимся явлением а, оказывается дважды повторяющееся в выводе отнесение явления а к логической группе. В первый раз явление а относится к группе явлений, единственными предшествующими обстоятельствами которой оказываются AA1BC. Уже это суждение о группе ограничивает всю область, внутри которой мы могли бы искать причину явления а, двумя подгруппами — подгруппой, характеризуемой наличием изменяющегося обстоятельства А(А1), и подгруппой, характеризуемой наличием всех остальных обстоятельств (В, С, ВС).
Во второй раз явление а относится к группе изменяющихся явлений. Тем самым из всей группы предшествующих обстоятельств, среди которых можно было бы искать причину явления а, исключается вся подгруппа, характеризуемая неизменными обстоятельствами. Результатом этого последовательного исключения является заключение вывода. Состоит оно в том, что на явление а переносится в качестве его причины подгруппа изменяющихся обстоятельств, оставшихся после исключения другой подгруппы.
Отсюда видно, что метод сопутствующих изменений, так же как и остальные методы бэконовекой индукции, есть метод исключения. Искомая причина получается в нём посредством исключения всех обстоятельств, которые, как выясняется в ходе вывода, не могут заключать в себе причины явления а.