BUG
Не работает подстановка @id - use another inference ID as a variable
не получится использовать другие доказательства как переменные