Update README.md

README.md

@@ -15,9 +15,7 @@ int main()
   Suppose_literal (K, true);
   Suppose_literal (M, true);
   
-  Satisfy::
-  Formula T = K.
-  Implying (M);
+  auto T = K. Implying (M);
   
   std::cout << "Hello world!" << std::endl;