Soal (sedang): Semua A adalah B. Semua B adalah C. Simpulan yang pasti benar adalah …
Pilihan:
Semua A adalah C
Semua C adalah A
Sebagian C bukan B
Tidak ada A yang C
Semua B adalah A
Jawaban: Semua A adalah C
Pembahasan: Sifat transitif: A ⊆ B ⊆ C → semua A adalah C.