From “If square, then four-sided” and “not a square,” what follows?

Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals

• Not four-sided
• Only not square; four-sidedness is unsettled
• It must be a circle
• It is a square