Chapter 3.4, Problem 29ES

In exercises 28-32, reorder the premises in each of the arguments to show that the conclusion follows as a valid consequence from the premises. It may be helpful to rewrite the statements in if—then form and replace some of them by their centrapositives. Exercises 28-30 refer to the kinds of Tarski worlds discussed in Examples 3.1.13 and 3.3.1. Exercises 31 and 32 are adapted from Symbolic Logic by Lewis Carroll.*
1. All the objects that are to the right of all the triangles are above all the circles.
2. If an object is not above all the black objects, then it is not a square.
3. All the objects that are above all the blackobjects are to the right of all the triangles.
$\therefore$ All the squares are above all the circles.