« donc un cheval bon marché est cher. »

C’est plus un oxymore qu’un syllogisme, car « bon marché » et « cher » sont contradictoires.

« Un cheval a quatre pattes, un chat a quatre pattes, donc le cheval est l’ancêtre du chat »

ça c’est un syllogisme !