(ALL-T)
(KNOWN-BOOLEANS)
(TRUE-LISTP-OF-KNOWN-BOOLEANS)
(SYMBOL-LISTP-OF-KNOWN-BOOLEANS)
(ADD-KNOWN-BOOLEAN-FN
 (39 39 (:REWRITE DEFAULT-CAR))
 (27 27 (:REWRITE DEFAULT-CDR))
 (20 4 (:DEFINITION ASSOC-EQUAL))
 (15 3 (:DEFINITION MEMBER-EQUAL))
 (8 4 (:DEFINITION NTH))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (2 2 (:REWRITE ARITIES-OKP-IMPLIES-LOGICP))
 )
(COMMON-LISP::NOT$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::EQUAL$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::EQL$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::EQ$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::=$-KNOWN-BOOLEANS-JUSTIFICATION)
(UNSIGNED-BYTE-P$-KNOWN-BOOLEANS-JUSTIFICATION)
(SIGNED-BYTE-P$-KNOWN-BOOLEANS-JUSTIFICATION)
(NATP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::INTEGERP$-KNOWN-BOOLEANS-JUSTIFICATION)
(POSP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::RATIONALP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMPLEX-RATIONALP$-KNOWN-BOOLEANS-JUSTIFICATION)
(ACL2-NUMBERP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::SYMBOLP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::STRINGP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::CHARACTERP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::CONSP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::ATOM$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::ENDP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::NULL$-KNOWN-BOOLEANS-JUSTIFICATION)
(BOOLEANP$-KNOWN-BOOLEANS-JUSTIFICATION)
(TRUE-LISTP$-KNOWN-BOOLEANS-JUSTIFICATION)
(IFF$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::<$-KNOWN-BOOLEANS-JUSTIFICATION)
(ALISTP$-KNOWN-BOOLEANS-JUSTIFICATION)
(SYMBOL-ALISTP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::LOGBITP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::EVENP$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::ODDP$-KNOWN-BOOLEANS-JUSTIFICATION)
(BITP$-KNOWN-BOOLEANS-JUSTIFICATION)
(NO-DUPLICATESP-EQUAL$-KNOWN-BOOLEANS-JUSTIFICATION)
(SUBSETP-EQUAL$-KNOWN-BOOLEANS-JUSTIFICATION)
(COMMON-LISP::KEYWORDP$-KNOWN-BOOLEANS-JUSTIFICATION)
(CHARACTER-LISTP$-KNOWN-BOOLEANS-JUSTIFICATION)
(INTEGER-LISTP$-KNOWN-BOOLEANS-JUSTIFICATION)
(NAT-LISTP$-KNOWN-BOOLEANS-JUSTIFICATION)
