Use the modern square of opposition to determine whether the following immediate inference is valid or invalid from the Boolean standpoint.
It is false that some lunar craters are volcanic formations. Therefore, no lunar craters are volcanic formations.
Make sure you use enough details to support your answer.