When asked whether trees die, the inference engine can draw the obvious conclusion and answer the question correctly.
Если спросить «умирают ли деревья?», машина логического вывода может сделать очевидный вывод и дать правильный ответ.