valid syllogism

Мат. истинный силлогизм