diff --git a/app/Main.hs b/app/Main.hs
index 9eed353..6d135d4 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -3,4 +3,4 @@ module Main where
 import Lib
 
 main :: IO ()
-main = getLine >>= go 
+main = interact go 
diff --git a/parser-sandbox-exe b/parser-sandbox-exe
index 9061066..790f639 100755
Binary files a/parser-sandbox-exe and b/parser-sandbox-exe differ
diff --git a/parser-sandbox-exe.exe b/parser-sandbox-exe.exe
new file mode 100644
index 0000000..48e0566
Binary files /dev/null and b/parser-sandbox-exe.exe differ
diff --git a/src/Lib.hs b/src/Lib.hs
index 6bce357..108fd8b 100644
--- a/src/Lib.hs
+++ b/src/Lib.hs
@@ -92,10 +92,8 @@ checkTautology s = all ((==True) . fst ) $ runStateT (tautology s) []
 go s = do
   let s' = parse sentence "" s
   case s' of
-    Left x -> print x
-    Right x -> do
-      print x
-      print $ checkTautology x
+    Left x -> show x
+    Right x -> show x ++ "\n" ++ (show ( checkTautology x))