[1] For instance, from the statement "All toads are green", the immediate inference can be made that "no toads are not green" or "no toads are non-green" (Obverse).
There are a number of immediate inferences which can validly be made using logical operations, the result of which is a logically equivalent statement form to the given statement.
There are also invalid immediate inferences which are syllogistic fallacies.
Cases of the incorrect application of the contrary, subcontrary and subalternation relations (these hold in the traditional square of opposition, not the modern square of opposition) are syllogistic fallacies called illicit contrary, illicit subcontrary, and illicit subalternation, respectively.
Cases of incorrect application of the contradictory relation (this relation holds in both the traditional and modern squares of opposition) are so infrequent, that an "illicit contradictory" fallacy is usually not recognized.