diff --git a/src/Main.java b/src/Main.java
index bfdf53f..8e03d99 100644
--- a/src/Main.java
+++ b/src/Main.java
@@ -52,8 +52,6 @@
 		EquationFormula concl2 = new EquationFormula(new DependencyTerm(c, d, a), new DependencyTerm(c, d, xyz)); // [c : d -> a] = [c : d -> [x : y -> z]]
 		
 		System.out.println(rightReplacement.check(List.of(assump2), concl2));
-		System.out.println(rightReplacement.toString());
-		
 	}
 
 	@SneakyThrows
diff --git a/src/inference/InferenceRule.java b/src/inference/InferenceRule.java
index 51c518c..7f5798b 100644
--- a/src/inference/InferenceRule.java
+++ b/src/inference/InferenceRule.java
@@ -77,17 +77,13 @@
 		}
 		String assumpStr = sb.toString();
 		String concluStr = conclusion.toString();
-		String line = "-".repeat(Math.max(assumpStr.length(), concluStr.length()) + 4);
+		String line = "-".repeat(Math.max(assumpStr.length(), concluStr.length()));
 		sb = new StringBuilder();
-		sb.append(" ".repeat((line.length() - assumpStr.length()) / 2));
 		sb.append(assumpStr);
-		sb.append(" ".repeat((line.length() - assumpStr.length()) / 2));
 		sb.append("\n");
 		sb.append(line);
 		sb.append("\n");
-		sb.append(" ".repeat((line.length() - concluStr.length()) / 2));
 		sb.append(concluStr);
-		sb.append(" ".repeat((line.length() - concluStr.length()) / 2));
 		return sb.toString();
 	}