Y el silogismo en Barbara se formaliza así: