Noem een voorbeeld van een syllogisme bij categorisch redeneren?