diff --git a/pom.xml b/pom.xml
index 16b3e9a..513614a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -3,6 +3,14 @@
   <groupId>ResourceDependencyLogic</groupId>
   <artifactId>ResourceDependencyLogic</artifactId>
   <version>0.0.1-SNAPSHOT</version>
+  
+  <repositories>
+        <repository>
+            <id>nitta-lab-repo</id>
+            <url>http://nitta-lab-www.is.konan-u.ac.jp/repo</url>
+        </repository>
+    </repositories>
+  
   <dependencies>
 	  
         <dependency>
@@ -13,10 +21,17 @@
         </dependency>
         
         <dependency>
-        <groupId>org.junit.jupiter</groupId>
-        <artifactId>junit-jupiter</artifactId>
-        <version>5.11.3</version> 
-        <scope>test</scope>
+	        <groupId>org.junit.jupiter</groupId>
+	        <artifactId>junit-jupiter</artifactId>
+	        <version>5.11.3</version> 
+	        <scope>test</scope>
+	    </dependency>
+    
+    
+    <dependency>
+        <groupId>com.nitta-lab</groupId>
+        <artifactId>dtram</artifactId>
+        <version>1.0</version>
     </dependency>
         
     </dependencies>
diff --git a/src/Main.java b/src/Main.java
index c342afb..0bb0b08 100644
--- a/src/Main.java
+++ b/src/Main.java
@@ -31,8 +31,8 @@
 	public static void main(String[] args) {
 //		sandbox1();
 //		sandbox2();
-//		sandbox3();
-		sandbox4();
+		sandbox3();
+//		sandbox4();
 //		ProofSystem.debug();
 	}
 	
diff --git a/src/inference/ProofSystem.java b/src/inference/ProofSystem.java
index 9d15001..abf190c 100644
--- a/src/inference/ProofSystem.java
+++ b/src/inference/ProofSystem.java
@@ -641,7 +641,8 @@
 		formulaQueue.add(conclusion);
 		depthQueue.add(0);
 		
-		System.out.println("aaa");
+		System.out.println("proof finish");
+		System.out.println();
 		
 		while (formulaQueue.size() != 0) {
 			Formula currentFormula = formulaQueue.poll();