Использование при выводах доказательствах: поиск слов по маске и определению