Tam đoạn luận là một hình thức suy luận diễn dịch, gồm hai tiền đề và một kết luận. Trong trường hợp này, ta có tam đoạn luận với các thành phần:
* Tiền đề 1: P+ a M- (Tất cả M là P)
* Tiền đề 2: S- i P- (Một số S không phải là P)
* Kết luận: S- i M- (Một số S không phải là M)
Để tam đoạn luận này hợp lệ, tiền đề bị lược bỏ phải liên kết S và M. Trong các phương án:
* Phương án 1: M+ a S- (Tất cả S là M) - nếu ta thêm tiền đề này thì tam đoạn luận trở thành:
* P+ a M-
* M+ a S-
* S- i P- : Kết luận không hợp lệ
* Phương án 2: S- i M- (Một số S không phải là M). Đây chính là kết luận, do đó không phải là tiền đề bị lược bỏ.
* Phương án 3: S+ a M- (Tất cả M là S) - nếu ta thêm tiền đề này thì tam đoạn luận trở thành:
* P+ a M-
* S+ a M-
* S- i P- : Kết luận không hợp lệ
Tuy nhiên, không có đáp án nào là một tiền đề bị lược bỏ để tam đoạn luận này hợp logic. Tam đoạn luận này không hợp logic với bất kỳ tiền đề bị lược bỏ nào trong số các phương án.
