После того, как испытуемые изучили текст, им предъявлялся другой текст, содержащий предложения, в отношении которых испытуемые должны были сказать, были ли такие в исходном тексте или они логически имплицированы в текст. В группе «полного включения» только четверть испытуемых (7/26) сделала все умозаключения, т.е. те, которые требуют многих шагов и не сделали ошибок конверсии (все В суть А). В группе же «топологического включения» у трех четвертей испытуемых (21/26) наблюдалось противоположное поведение.

Ясно, что топологические связи облегчают конструирование ситуативных моделей. Мани и Джонсон-Лэрд (Mani, Johnson— Laird, цит. по: Johnson-Laird, 1983) показали, что испытуемые имеют тенденцию к формированию ситуативной модели (ментальной модели, на языке Джонсона-Лэрда), если имеющаяся в наличие информация полностью детерминирует пространственную репрезентацию (совместима только одна репрезентация), но они не формируют ее, если пространственное расположение является относительно недетерминированным (возможны многие расположения). Субъекты слушали описания, типа:

ложка слева от ножа тарелка справа от ножа вилка перед ложкой чашка перед ножом

Это описание полностью детерминировано. Если изменить вторую фразу, заменив ее на следующую: «тарелка справа от вилки», описание станет недетерминированным, потому что тарелка может быть как слева, так и справа от ножа.

После прослушивания текста испытуемые мысленно представляли себе пространственное расположение и должны были сказать, совместимо ли оно с описанием или нет. Затем, без предупреждения, с ними проводился тест на узнавание описаний.

Использовалось 4 предложения: оригинальное; предложение, логически вытекающее (например, вилка слева от тарелки); и два ложных. В детерминированной ситуации 88% испытуемых приписывали двум правильным предложениям (оригинальному и вытекающему) более высокий ранг, по сравнению с ошибочными предложениями; в недетерминированной ситуации только 58% испытуемых показали такие же результаты. Итак, они не построили ситуативную модель, позволяющую делать умозаключения.