Я не хочу вам доказывать, что поезд Москва — Воркута едет из Москвы в Воркуту. Вот он, наш ИР. Таким образом, происходит сравнение факта маршрута поезда и теории, в которую верит этот человек. Будто бы насколько реален факт маршрута поезда, настолько же и реальна сама теория. То есть, приравнивая реальный факт и факт непроверяемый, мы делаем непроверяемый факт настолько сильным и неоспариваемым, как и первый, что проверять уже не нужно. Это и есть ИР — если поезд Москва — Воркута едет из Москвы в Воркуту, тогда и моя теория верна.