Added the class for verification of Negation introduction with some comments of what needs to be done.
Added the class for verification of Negation introduction with some comments of what needs to be done.

nonilole/Conan