Документация гласит: :
Избегайте модификации двигателя внутри блоков действий (т. Е. Утверждения и отвода фактов и установки новых правил).Есть более безопасные способы сделать это.
Я вижу, что лучший способ утверждать факт при сопоставлении - использовать gen.Но я не вижу, как убрать факты.