(not true) -> false
(not false) -> true
(not (not true)) -> true
(not (not false)) -> false
(not 1) -> false
(not (not 1)) -> true
(not "string") -> false
(not (not "string")) -> true
(and 1 "string" 4 true) -> true
(and true true true) -> true
(and (+ 1 2 3)) -> true
(and false false false) -> false
(and true false false) -> false
(and false true false) -> false
(and false true true) -> false
(and (not false) true true) -> true
(or 1 "string" 4 true) -> true
(or false 1) -> true
(or false "string") -> true
(or false) -> false
(or true true true) -> true
(or false false false) -> false
(or true false false) -> true
(or false true false) -> true
(or false true true) -> true
(or (not false) true true) -> true
(or (not true) false) -> false
(if true true false) -> true
(if false true false) -> false
(if true (+ 1 2 3) 0) -> 6
(if false (+ 1 2 3) 0) -> 0
(if (or true false) (+ 1 2 3) (+ 7 8 9)) -> 6
(if (or false false) (+ 1 2 3) (+ 7 8 9)) -> 24
(if (or (+ 1 2 3) false) (+ 1 2 3) (+ 7 8 9)) -> 6
(if true 7) -> 7
(if false 7) -> 
(cond ((and true true true) 1) ((or true true false) 2) (else 3)) -> 1
(cond ((and true true false) 1) ((or true true false) 2) (else 3)) -> 2
(cond ((and true true false) 1) ((or false false false) 2) (else 3)) -> 3
(cond ((and true true true) 1) ((or true true false) 2)) -> 
(cond ((and true true true) (+ 1 2 3)) ((or true true false) 2) (else 3)) -> 6
(< 1 2 3) -> true
(< 3 2 1) -> false
(> 1 2 3) -> false
(> 3 2 1) -> true
(= 1 2 3) -> false
(= 3 2 1) -> false
(= 3 3 3) -> true
(= (+ 1 2) 3 (- 6 3)) -> true
(< 1 1 3) -> false
(<= 1 1 3) -> true
(> 3 3 1) -> false
(>= 3 3 1) -> true