92 statements ```
true
$x = new collector
saveTo ([$x , $collector])
$x = retrieve ($collector)
nativeTest2
nativeFail
$a = intmul ([$x , $y])
$a = intdiv ([$x , $y])
$a = intadd ([$x , $y])
$a = intminus ([$x , $y])
$x is greater than $y
head $h exists in theory $t
$x = all theory names
$x = tocons ($y)
$x = fromcons ($y)
$x is less than $y
$x = arg $i in $y
$x = arity of $y
$x = operator ($y)
$x = unquote ($y)
isQuoted ($x)
isWord ($x)
$x = removeWord ([$word , $y])
$x = theory $name
solve1 $text in $theories
think $x
memorize_impl $x
$a and $b :- ...
$a and $b and $c :- ...
$a and $b and $c and $d :- ...
bits is the plural of bit
($x) :- ...
$e1 = c # example :- ...
the dadbot is really funny
dadbot is really funny
$x = = $x
feet is the plural of foot
forall_impl ([$x , $cond , $c]) :- ...
[ice cream] is tasty
$b = if $a then $b else $c :- ...
$c = if $a then $b else $c
$e in $c :- ...
$t is a theory :- ...
$e is in list $list :- ...
$head = iter [cons $head $tail]
$x = iter [cons $head $tail] :- ...
lasagna is tasty
$list = [$x | $cond] :- ...
"and" is a fill word
"," is a fill word
$y = map ([$f , $x]) :- ...
end = map_cons ([$f , end])
[cons $z $y] = map_cons ([$f , [cons $word $x]]) :- ...
maus = maus ($x)
memorize $x :- ...
mrshutco is a human
not ($x) :- ...
not ($x)
[not (false)] should be true
[not (true)] should be false
$x = number of theories :- ...
$e2 = number of theories :- ...
$a or $b :- ...
$a or $b :- ...
$a or $b or $c :- ...
$a or $b or $c :- ...
$a or $b or $c :- ...
$x is funny :- ...
$a = smartmul ([$b , $c]) :- ...
$a = smartmul ([$b , $c]) :- ...
$a = smartmul ([$b , $c]) :- ...
lasagna is more tasty than [ice cream]
say [ah , so $first $last must be a fit guy !] :- ...
andre agassi is supposedly a tennis player
andre agassi is supposedly a tennis player
andre agassi is supposedly a tennis player
andre agassi is supposedly a tennis player
andre agassi is supposedly a tennis player
andre agassi is supposedly a tennis player
say [it's $c !] :- ...
verify [$x should be true] :- ...
verify [$x should be false] :- ...
$x is funny :- ...
say [$x is tasty !] :- ...
$x xor $y :- ...
$x xor $y :- ...
$y = yo ($x) :- ...
end = yo_cons (end)
[cons "yo!" $y] = yo_cons ([cons $word $x]) :- ...
$y = yo2 ($x) :- ...
end = yo2_cons (end)
[cons $e1 $y] = yo2_cons ([cons $word $x]) :- ...
```