Corrected indentation.
Added a module to represent resolution proof (not tested yet)