Pada butir ketiga, “berada di \(A\) tetapi tidak sekaligus di \(B\) dan \(C\)” berarti meniadakan \(B\cap C\text{,}\) bukan meniadakan kedua himpunan secara terpisah. Pada butir kelima, gagal berada di sedikitnya dua himpunan berarti sedikitnya satu dari tiga pasangan komplemen berlaku. Pada butir keenam, gagal berada di paling banyak satu himpunan berarti berada di sedikitnya dua himpunan. Uji tabel delapan pola keanggotaan memberi pemeriksaan langsung.