Силлогизм и средний член

не правильно

Все львы свирепы
Некоторые львы не являются потребителями кофе
Некоторые потребители кофе не являются свирепыми

надо так
M - средний член (львы)
S - малый член (алкоголики)
P - большой член (благородные)

M < P (все львы благородные)
-(M < S) (не все львы алкоголики)
-(S < P) (не все алкоголики благородные)

последнее не следует из двух первых.
м.б. все алкоголики благородные, а в благородных два подкласса - львы и алкоголики, которые могут пересекаться, а могут нет.

правильно так

M < P (все львы благородные)
-(M < S) (не все львы алкоголики)
-(P < S) (не все благородные алкоголики)