reasoning-Syllogism