AIC

การอนุมานแข็ง: ถ้า A เป็นเท็จ B เป็นจริง การอนุมานอ่อน: ถ้า A เป็นจริง B เป็นเท็จ

การสลับกันจากปลายถึงปลายหมายความว่าปลายแข็งทั้งสองจะเป็นเท็จพร้อมกันไม่ได้ สิ่งใดที่มองเห็นปลายทั้งสองจะถูกตัด — แนวคิด “โดนต่อยไม่ว่าทางไหน” เดิม แต่อนุญาตลิงก์หลายแบบขึ้น

เลือกโซ่ที่เป็นแข็งที่ปลายทั้งสอง คิดว่า: ถ้าปลายนี้เป็นเท็จ → อีกปลายเป็นจริง