В общем, Гордону пришла гениальная идея: написать программу, позволяющую сначала задать желаемое решение и только потом внести в нее все имеющиеся факты. Задача (а с ней программа справлялась виртуозно) – построить вероятные логические цепочки, соединяющие исходные данные и вывод.