Rewrite the following arguments using letters to represent the terms, reduce the number of terms, and put the arguments into standard form. Then test the new forms with Venn diagrams or by means of the five rules for syllogisms to determine the validity or invalidity of the original arguments.
Some proposed flights to Mars are inexpensive ventures, because all unmanned space missions are inexpensive ventures, and some proposed flights to Mars are not manned space missions.