Added compressed input folder (straight from Blackboard, sure to be unmodified).
Added more documentation.
Added constants to the Clause class.
Changed Clause.toString() to print the keys and values instead of just the values for testing purposes.
Changed "POSITIVE" and "NEGATED" to "+" and "-".