Всі трактори – машини.

 Автомобілі також є машинами.

Отже, Автомобілі є тракторами.

Деякі європейські країни є членами НАТО. 

 Канада не є європейською країною. 

Отже,  Канада не є членом НАТО

 Всі птахи — двоногі істоти. 

 Кішка — не двонога істота. 

Отже,  Кішка — не птах