[TEST] Touching Tents Test

[Chase-Grajeda]

Implement and overhaul the tests for the contradiction rule. Clearly comment and show what you are testing. Try to cover all inputs and cases that may throw an uncaught exceptions.