Вывод кевалавьятиреки - это такой вывод, в котором средний термин только отрицательно связан с большим. Он зависит от вьяпти между отсутствующим большим и отсутствующим средним терминами. Значит, и познание вьяпти достигается здесь методом согласованного отсутствия, поскольку нет положительного примера согласованного присутствия среднего и большего терминов, исключая меньший. Это иллюстрируется наяйиками следующим образом:

То,что не отлично от других элементов,не имеет запаха;
земля имеет запах;
следовательно, земля отлична от других элементов.

В этом выводе большей посылкой является общеотрицателыюе суждение,в котором предикат (средний термин вывода -'запах') отрицается у субъекта (отрицательного большего термина вывода-'отличающееся от других элементов'). Приписывать же предикат-'запах'-какому-либо другому субъекту, кроме 'земли', которая представляет собой меньший термин вывода,- невозможно. Отсюда единственным способом связи среднего термина с большим является отрицательный способ высказывания: 'Все,что не отличается от других элементов, не имеет запаха'. Значит, большая посылка должна быть общеотрицательным суждением, получаемым только методом согласованного отсутствия большего и меньшего терминов. Меньшая посылка представляет собой утвердительное суждение, и хотя одна из посылок является отрицательной, заключение тоже получается утвердительным, что противоречит общим правилам силлогизма в формальной логике. Отсюда мы видим, что этот вид вывода не имеет сходного модуса силлогизма в формальной логике, и мы не должны насильственно превращать такое заключение индийской логики в отрицательное суждение.

Вывод называется анваявьятиреки в том случае, если его средний термин связан с большим как положительно, так и отрицательно. Неизменная связь между большими средним терминами имеется в нем как в случае наличия этих терминов, так и в случае их отсутствия. Поэтому познание, общего суждения основывается на объединенном методе согласованного присутствия и отсутствия. Общее суждение утвердительно тогда, когда оно является результатом наблюдаемых положительных примеров согласованности присутствия, и отрицательно в том случае, если оно основывается на наблюдаемых отрицательных фактах согласованного отсутствия среднего и большего терминов. Различие между обще утвердительным и общеотрицательным суждениями состоит в том,что субъект положительного суждения становится предикатом, а противоречащее предикату становится субъектом соответствующего отрицательного суждения. Отсюда вывод анваявьятиреки может быть основан как на общеутвердительном, так и на общеотрицательном суждении. Это иллюстрируется следующими двумя выводами:

1) Все дымящиеся объекты горят;
холм дымится;
следовательно, холм горит.

2) Ни один не горящий объект не дымится;
холм дымится;
следовательно, холм горит.