Which contradicts “Every square has four sides”?

Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim

• No square has four sides
• Some squares have four sides
• Some squares do not have four sides
• Every quadrilateral is a square