Select only one of the following arguments. Translate them into the blocks language and determine whether the conclusion is a first-order consequence of the premises. If it isn't, specify a counterexample situation that makes all the premises true and the conclusion false. If it is, give a formal proof using only the intro/elim rulesfor the connectives-no Con rules and no shortcuts. Submit your answers in a .jpg or .pdf file (you may handwrite or type and either take a picture or convert). If appropriate you may alternatively submit a .wld or .prf file (made in Tarski's world or Fitch). - Points: 30 points per answer = 30 points total for this section 1. Everything is large. Every cube adjoins b. Therefore, there are no large cubes that don't adjoin b. 2. If something is a cube, there is something to the right of it. There are at least two cubes. No cube is to the right of another. Therefore, at least two things aren't cubes. 3. If a thing is larger than an object, then that object is to the right of that thing. Some cubes aren't to the right of some dodecahedra. Therefore, some cubes aren't larger than some dodecahedra.