«s1» истинно (s1=1), если есть «теорема» или «лемма»; «s2» истинно (s2=1), если есть «данные» или «эксперимент»; «s3» истинно (s3=1), если есть «доказательство»; «s4» истинно (s4=1), если есть «контрпример». Если слова нет – соответствующий (si=0). Шаг 2. Объединяем признаки словами логики: «u» истинно (u=1), если ((s1) И НЕ (s4)) ИЛИ ((s3) И НЕ (s2)). «v» истинно (v=1), если ((s2) И НЕ (s1)) ИЛИ ((s4) И НЕ (s3)). Итоговая метка (правила сверху вниз): если «s4» истинно (s4=1) И «s3» не истинно (s3=0) → N; иначе если «u» истинно (u=1) И «v» не истинно (v=0) → T; иначе если «v» истинно (v=1) И «u» не истинно (u=0) → D; иначе → N. Фразы: «теорема доказана» «данные эксперимента собраны» «контрпример найден» «лемма с данными» «доказательство с данными» «контрпример опровергнут доказательством» «теорема и данные» «эксперимент с доказательством»

Исходные данные: s1=1 (есть "теорема" или "лемма") s2=1 (есть "данные" или "эксперимент") s3=1 (есть "доказательство") s4=1 (есть "контрпример")

Вычисления: u=((s1) И НЕ (s4)) ИЛИ ((s3) И НЕ (s2)) = ((1) И НЕ (1)) ИЛИ ((1) И НЕ (1)) = 0 ИЛИ 0 = 0 v=((s2) И НЕ (s1)) ИЛИ ((s4) И НЕ (s3)) = ((1) И НЕ (1)) ИЛИ ((1) И НЕ (1)) = 0 ИЛИ 0 = 0

Итоговая метка:

• если «s4» истинно и «s3» не истинно → N (контрпример найден и нет доказательства)
• иначе если «u» истинно и «v» не истинно → T (условие не выполняется)
• иначе если «v» истинно и «u» не истинно → D (условие не выполняется)
• иначе → N (остальные случаи)

Итог: N (контрпример найден и нет доказательства)