Hukum kontradiksi

Rangkaian premis berikut akan tiba pada dua konklusi yang bertentangan: