Use the traditional square of opposition together with conversion, obversion, and contraposition to prove that the following immediate inferences are valid. Show each intermediate step in the deduction.
It is false that some illegal searches are not sobriety checkpoints. Therefore, some sobriety checkpoints are not legal searches.