Question

Se todos Wargs são Twerps e nenhum dos Twerps são Gollums, então nenhum dos Gollums são definitivamente Wargs?

Answer 1

Uma forma de análise é através de premissas, assim:
Todo Warg é Twerp,
Nenhum Twerp é Gollum,
logo, nenhum Gollum será Warg.

Answer 2

Wargs = W
Twerps= T
Gollums= G

(T (W)T)    (G)

Verdade. Se TODOS Wargs estão contido nos Twerps e NENHUM Twerp pertence Golluns, então nenhum Gollum é Warg.