Логический вывод: must (почти уверен) / can’t (почти уверен в отрицании) — Okupro