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
Added testing information for toCNF function
Merge branch 'martijn'
Reviewed work of Martijn and Bas so far
Merge branch 'master' of github.com:martyn82/SST
Put a combination of our work in wk1 deliverable
Removed temporary files
Merge branch 'martijn'