Implemented Transposition, added getInverse to Fact, and refactored the getNegatedFact method to just be a prototype of Fact.