(i) All triangles are squares → Universal Affirmative (A–type).
(ii) Some rectangles are cones → Particular Affirmative (I–type).
(iii) No square is rectangle →Universal Negative (E–type). (iv) Some squares are not rectangles → Particular Negative (O– type).
All triangles are squares.
No square is rectangle.
A + E ⇒ E – type of Conclusion “No triangle is rectangle”. (P)
No square is rectangle.
Some rectangles are cones.
E + I ⇒
O1 – type of Conclusion “Some cones are not squares”. (Q)
No triangle is rectangle.
Some rectangles are cones.
E + I ⇒
O1 – type of Conclusion “Some cones are not triangles.” (R)(5) Conclusion I is Conclusion (P).
Conclusion (R) Some cones are not triangles.
Its Venn diagrams
OR
OR
Diagrams I and II support ConclusionII.