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