diff --git a/lojysamban.cabal b/lojysamban.cabal
--- a/lojysamban.cabal
+++ b/lojysamban.cabal
@@ -2,7 +2,7 @@
 cabal-version:		>= 1.6
 
 name:			lojysamban
-version:		0.0.6
+version:		0.0.7
 stability:		experimental
 author:			.iocikun.juj. <PAF01143@nifty.ne.jp>
 maintainer:		.iocikun.juj. <PAF01143@nifty.ne.jp>
@@ -15,6 +15,16 @@
 synopsis:		Prolog with lojban
 description:		Prolog with lojban
     .
+    > lojysamban
+    > .i la .iocikun. patfu la .ituk.
+    > .i la manam. mamta la .ituk.
+    > .i da rirni de .ijanai da patfu de
+    > .i da rirni de .ijanai da mamta de
+    > fa'o
+    > .i ma rirni la .ituk.
+    > .i la iocikun .a la manam
+    > .i co'o
+    >
     > lojysamban example/pendo.jbo
     > .i ma pendo la .ualeis.
     > .i la gromit
diff --git a/lojysamban2.hs b/lojysamban2.hs
--- a/lojysamban2.hs
+++ b/lojysamban2.hs
@@ -170,8 +170,12 @@
 	Left f = readSentenceFact s
 
 getRule (_, Jek _ _ (_, "ja", _) (Just (_, "nai", _)), _, Just t) =
-	lefts $ readTUhE t
+	lefts $ readRule t
 getNotRule (_, Jek _ _ (_, "ja", _) (Just (_, "nai", _)), _, Just t) =
-	rights $ readTUhE t
+	rights $ readRule t
 
+readRule t@(TUhE _ _ _ _ _ _) = readTUhE t
+readRule t = [readSentenceFact t]
+
 readTUhE (TUhE _ _ _ t _ _) = map readSentenceFact $ getSentences t
+readTUhE o = error $ show o