73 statements ```
true
$x = new collector
saveTo ([$x , $collector])
$x = retrieve ($collector)
$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]) :- ...
rewrite [what is the $x of $y ?] to [what is [the $x of $y] ?]
rewrite [the $x of $y is $z] to [[the $x of $y] is $z]
[the $x of $y] is $z :- ...
[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 :- ...
$a has a $c :- ...
$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 :- ...
rew $a to $c :- ...
rew $a to $a
rew ! $a to $b :- ...
$a = smartmul ([$b , $c]) :- ...
$a = smartmul ([$b , $c]) :- ...
$a = smartmul ([$b , $c]) :- ...
lasagna is more tasty than [ice cream]
[theory $x] is a theory
a theory has a text
a theory has a name
the name of [theory $x] is $x
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]) :- ...
```