Собаки не теряли рога, поэтому у собак есть рога, будет с АИ, то нужно искать АИ, где знающие логику укажут на логические ошибки, т.к. указание на логические ошибки без АИ  запрещено? Если автор статьи сделал подобное очевидное абсурдное определение (с АИ!), но не дал логического анализа (в идеале, это нужно сделать автоматической операцией)  это будет хорошо для пользователя?