Decideix si el sil·logisme és lògicament vàlid.
input: Tots els alemanys són europeus.
Alguns alemanys són rossos.
Per tant, cap europeu és ros.
output: No és lògicament vàlid.