Таблица истинности всех валидных натуральных свойств объектов с учётом корректности логических отношений каждого из свойств между собой.
Пример: Воздушный слон
Логика рассуждения (алгоритм работы кода):
1. Слон -> животное, перемещается, шагая по плотной поверхности, дышит воздухом (частично им наполнен)
2. Воздушный -> Воздух -> опирается на любую поверхность (снаружи), заполняет любое свободное пространство (изнутри).
3. Воздушный -> Наполняет изнутри или окружает объект со всех сторон.
Выводы:
1. Слон не состоит на 100% из воздуха.
2. Слон не окружён воздухом со всех сторон.
Итог: Воздушный слон - невозможен, суждение абсурдно.
