Самое главное, что нужно помнить об отвлеченных мыслях: системы логического вывода работают с ними точно так же, как с невымышленной ситуацией, поэтому из вымышленных посылок удается делать логичные