Чтобы проверить истинность формулы, требуется ее развернуть до уровня концевых термов, т.е. не ссылаться на номер, а сделать частью самого утверждения по схеме