Added triangle test + test info
Added implementation for contradiction, tautology, entailment and equivalence.
Renamed test info to triangle test info
Added alternative entails method (entails2), to validate my entails method.
Added testing information for contradiction, etc.
Finsihed CNF translation