обвинения p₁,p₂,..,p_N, защиты c₁,c₂,..,c_M и сопоставим элементы из этих множеств нашим обстоятельствам преступления f₁,f₂,..,f_K

т.е. обстоятельство преступления f₁прокурор доказывает с помощью доказательств p₁ и p₆, но адвокат опровергает это обстоятельство с помощью высказывания (доказательства) c₁.

Вокруг каждого значимого обстоятельства (а Вы должны были построить множество именно значимых обстоятельств) группируются доказательства обвинения и защиты. Для нашей картинки должно получиться так:

На этом этапе у нас отсеивается большая часть слов, которыми сотрясали воздух Прокурор и Адвокат. Зачем они это делали? Чтобы склонить на свою сторону Ваши эмоции!

Предполагая равнозначную достоверность доказательств обвинителя p₁,p₂,..,p_N и защитника c₁,c₂,..,c_M , мы можем сделать вывод, что положительное значение суммы группированных вокруг обстоятельства f_i слагаемых означает доказанность этого обстоятельства. Отрицательное или нулевое — соответственно недоказанность. (Нежёсткость условия реализует принцип презумпции невиновности)

На самом деле, Вы вряд ли будете считать все предъявленные Вам