CEVAP: Aksiyom 1: Ahmet, insani örnekler. Görüldüğü gibi, Ahmet bir tür değil, insan da bir örnekleyen değildir. (Dikkat edilirse Ahmet’in bedenini oluşturan hücreler, hücreleri oluşturan atomlar ve atomları oluşturan kuraklar ve elektronlar bizim kullandığımız anlamda Ahmet’in örnekleyenleri değil, onu oluşturan en küçük parçalarıdır.) Gene 2 kg, Ağırlık’ı örnekler. Burada 2 kg bir tür değil, Ağırlık ta bir örnekleyen değildir. Aksiyom 2: Ahmet, insan, 2 kg ve Ağırlık şeylerini ele alalım. Burada Ahmet ve 2 kg birer örnekleyen olup tür değildir. Öte yandan insan ve Ağırlık birer tür olup örnekleyen değildir. Önerme 1: Ahmet, Ahmet’in örnekleyeni değildir; insan, insanın örnekleyeni değildir; 2 kg, 2 kg’ın örnekleyeni değildir; Ağırlık, Ağırlık’ın örnekleyeni değildir. Önerme 2: Ahmet insanın örnekleyeni olup, insan Ahmet’in örnekleyeni değildir; 2 kg Ağırlık’ın örnekleyeni olup, Ağırlık 2 kg’ın örnekleyeni değildir.