 This is not deductive reasoning. It’s a verbalizing of thoughts that the poem brings to our minds. Spelling it out, we are drawn to appreciate the fact that the battle resolved the situation. The text is an invalid syllogism in just the same way as al-Fārābī’s two examples above, but the fact that it is in second figure is really neither here nor there. 