ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ

Какие противоречия?

Тип результата: 

вопрос
ex("question",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Нет аргументов

Комментарий: 

Выдаются все известные в аппроксимации противоречия.

Имя операции: 

all_inconsists