If we replace statement variables p, q, r and s in the foregoing argument form with simple statements T, U, V and W, respectively, we get the following argument.
(P₁): T ⊃ (U ⋅ V)
(P₂): (U ꓦ V) ⊃ W
∴ T ⊃ W

(P₁): p ⊃ (q ⋅ r)
(P₂): (q ꓦ r) ⊃ s
∴ p ⊃ s