Hogyan cáfolnátok meg az alábbi következtetést? Némely ember filozófus. Homérosz ember. Tehát Homérosz filozófus.

Ha némely ember filozófus, akkor némely ember nem filozófus. Homérosz ember. Tehát Homérosz nem filozófus.

Mivel nincs olyan állapot, hogy valaki filozófus és nem filozófus egyszerre, ezért ellentmondásra jutottunk.

Tehát (ezen logikai szál mentén) Homéroszról nem lehet eldönteni, hogy filozófus vagy nem filozófus.