Resolution function now adds to the passed-in linkedlist and creates dummy clause at contradictions. Added outputClause function.