Примеры умозаключения:
1. Эверест - гора, Белуха - гора, значит они Эверест и Белуха - горы.
2. Дима- мужское имя, Сергей - мужское имя, значит Дима и Сергей - мужские имена.
Ну и сложный пример:
3.Одно кодовое слово, не может быть началом второго кодового слова.