Argument jest poprawny, a w tym przypadku jest też prawdziwy (sound). Oto dlaczego:
* Poprawny (valid): Argument podlega logicznemu sylogizmowi:
* Wszystkie A to B (Wszystkie karpie to ryby)
* Wszystkie C to A (Wszystkie koi to karpie)
* Zatem wszystkie C to B (Zatem wszystkie koi to ryby)
* Prawdziwy (sound): Prawdziwy argument jest poprawny I jego przesłanki są prawdziwe. W tym przypadku:
* Wszystkie karpie to ryby: Prawda.
* Wszystkie koi to karpie: Prawda. Koi to konkretny typ karpia.
Zatem argument jest zarówno poprawny, jak i prawdziwy.