diff --git a/pom.xml b/pom.xml
index 487b135..64d94ac 100644
--- a/pom.xml
+++ b/pom.xml
@@ -36,7 +36,6 @@
         
     </dependencies>
   <build>
-    
     <plugins>
 		
       <plugin>
diff --git a/src/main/java/Main.java b/src/main/java/Main.java
index fbf1310..22f4326 100644
--- a/src/main/java/Main.java
+++ b/src/main/java/Main.java
@@ -25,9 +25,9 @@
 
 	public static void main(String[] args) {
 		sandbox4();
-		System.out.println("=====================================");
-		System.out.println("=====================================");
-		System.out.println("=====================================");
+		System.out.println("=================================================================");
+		System.out.println("=================================================================");
+		System.out.println("=================================================================");
 		sandbox5();
 	}
 	
@@ -109,7 +109,10 @@
 		EquationFormula f1 = new EquationFormula(uadd, t1);
 		EquationFormula f2 = new EquationFormula(t2, y);
 		EquationFormula f3 = new EquationFormula(t3, t4);
+		
+		
 		RewriteInferenceSystem ris = new RewriteInferenceSystem(List.of(f1, f2), f3);
+		ris.debug();
 		ris.inference();
 		
 	}
@@ -135,6 +138,7 @@
 		Then f5 = new Then(f3, f4);
 		
 		RewriteInferenceSystem ris = new RewriteInferenceSystem(List.of(f1, f2), f5);
+		ris.debug();
 		ris.inference();
 		
 	}
@@ -185,7 +189,7 @@
 		DependencyTerm t5 = new DependencyTerm(t1, D, t4, L, t3);
 		
 		ResourceTree rt = new ResourceTree(t5);
-		System.out.println(rt);
+//		System.out.println(rt);
 		rt.debug(new Position(List.of(0)));
 	}
 	
diff --git a/src/main/java/inference/rewrite/RewriteInferenceSystem.java b/src/main/java/inference/rewrite/RewriteInferenceSystem.java
index 665bb44..e7749c2 100644
--- a/src/main/java/inference/rewrite/RewriteInferenceSystem.java
+++ b/src/main/java/inference/rewrite/RewriteInferenceSystem.java
@@ -58,6 +58,7 @@
 	
 	public boolean inference() {
 		ResourceTree baseTree = expandTree();
+		System.out.println("baseTree: " + baseTree);
 		Set<ResourceTree> result = rewriteTree(baseTree);
 		for (ResourceTree tree: result) {
 			System.out.println("=====================================");