Rewrite the following argument using letters to represent the terms, reduce the number of terms, and put the argument into standard form. Then test the new forms with Venn diagrams or by means of the five rules for syllogism to determine the validity or invalidity of the original argument.
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.