En fullständig syllogism består hoshonom