Implication Details

Assumptions: locally strongly finitely presentable

Conclusions: multi-algebraic

Reason: This is because that every finite-product-sketch is clearly a (finite product, coproduct)-sketch.