Dalam visualisasi logika himpunan, jika himpunan em adalah mamalia laut dan i adalah yang bernapas dengan insang, premis tidak ada berarti em iris i sama dengan himpunan kosong atau saling lepas. Maka, kontradiksinya adalah em iris i tidak sama dengan himpunan kosong, yang berarti ada anggota di perpotongannya.