private void processExpression() {
		
		int counter = 0;
		
		if (mExpression != null) {
			
			System.out.println("\nSuccessfully parsed expression: \n\n" + mExpression.toString() + "\n");
			
			System.out.println("Trying random variable values: \n");
			
			mExpression.printValues();
			
			System.out.println("\nExpression evaluates to: " + mExpression.getValue());
			
			if (!mExpression.getValue()) {
				
				for (Clause clause : mExpression.getClauses()) {
					
					if (!clause.getValue()) {
						
						this.repair(clause, counter);
						
					}
					
				}
				
				System.out.println("\n--------------------------------------------\n");
				
				mExpression.printValues();
				
				System.out.println("\nExpression after repair evaluates to: " + mExpression.getValue() + "\n");
				
			}
			
		}
		
	}