All desks are chairs. All chairs are tables. A + A ⇒ A-type of Conclusion “All desks are tables.” All chairs are tables All tables are boxes. A + A ⇒ A-type of Conclusion “All chairs are boxes.” This is Conclusion II. All tables are boxes All boxes are trunks. A + A ⇒ A-type of Conclusion “All tables are trunks” Conclusion I is Converse of it. All desks are tables All tables are boxes. A + A ⇒ A-type of Conclusion “All desks are boxes.” Conclusion III is Converse of it. All desks are boxes
All boxes are trunks. A + A ⇒ A-type of Conclusion “All desks are trunks” This is Conclusion IV.