* Gyldig: Argumentet følger en logisk struktur. Den bruker syllogismeformen:
* Alle A er B (alle karper er fisk)
* Alle C er en (alle koi er karpe)
* Derfor er alle C B (derfor er alle Koi fisk)
* lyd: Et godt argument er gyldig og dets premisser er sanne. I dette tilfellet er lokalene sanne:
* all karpe er fisk: Dette er en sann uttalelse. Karpe tilhører fiskefamilien.
* Alle Koi er karpe: Dette er også sant. Koi er en spesifikk type karpe.
Derfor er argumentet både gyldig og lyd.