show file "1002762/theories" >> ```

"[\"add\", \"blue\", \"blue < is < an < adjective\"]"

"[\"add\", \"red\", \" red < is < an < adjective \"]"

"[\"add\", \"is a, has a\", \"\\n  if   [M is a X]\\n  and  [a X has a Y]\\n  then [M has a Y]\\n\"]"

"[\"add\", \"is a, has a (NL)\", \"\\n  if   [M is a X]\\n  and  [a X has a Y]\\n  then [M has a Y]\\n\"]"

"[\"remove\", \"is a, has a\"]"

"[\"add\", \"is a, has a\", \"\\n  if [M < is < a < X]\\n  and [a < X < has < a < Y]\\n  then [M < has < a < Y]\\n\"]"

"[\"add\", \"mark\", \"  mark < is < a < guy \"]"

"[\"add\", \"guns\", \" a < guy < has < a < gun \"]"

"[\"add\", \"1\", \"1 < is < a > number\"]"

"[\"add\", \"next\", \" if [X < is < a > number] then [X + 1 < is < a > number] \"]"

"[\"add\", \"isLeaf\", \" [if < isLeaf(X)] < [then < yes] < else < no \"]"

"[\"add\", \"eq\", \"X=X\"]"

"[\"add\", \"eq test\", \"[1=1] should be true in \\\"eq\\\"\"]"

"[\"add\", \"eq test 2\", \"[1=2] should be false in \\\"eq\\\"\"]"

"[\"add\", \"ice cream\", \" [ice cream] is tasty \"]"

"[\"add\", \"lasagna\", \"lasagna is tasty\"]"

"[\"add\", \"x random test\", \"$x = a random number between 1 and 1000 inc.\"]"

"[\"add\", \"crap\", \"crap is a synonym of shit\"]"

"[\"add\", \"dang\", \"dang is a synonym of damn\"]"

"[\"add\", \"3\", \"[peter, paul and Mary] are 3 names\"]"

"[\"add\", \"HK\", \"[Horst and klaus] are 2 names\"]"

"[\"add\", \"computer/human\", \"a computer is not a human\"]"

"[\"add\", \"human/computer\", \"a human is not a computer\"]"

"[\"add\", \"FeetToInches\", \"1 foot is 12 inches\"]"

"[\"add\", \"foot-feet\", \"feet is the plural of foot\"]"

"[\"add\", \"inch-inches\", \"inches is the plural of inch\"]"

"[\"add\", \"car\", \"a car is a means of transportation\"]"

"[\"add\", \"bus\", \"a bus is a means of transportation\"]"

"[\"add\", \"bit-bits\", \"bits is the plural of bit\"]"

"[\"add\", \"mrshutco\", \" mrshutco is a human \"]"

"[\"add\", \"is-is-not\", \"if [$a is a $x] and [a $x is not a $y] then [$a is not a $y]\"]"

"[\"add\", \"YisX\", \"if [$x is true] and [$y = $x] then [$y is true]\"]"

"[\"add\", \"yes-yeah\", \"if [yes] then [yeah]\"]"

"[\"add\", \"yes\", \"yes\"]"

"[\"add\", \"eq2\", \"$x=$x\"]"

"[\"add\", \"eq3\", \"[$x=$x]\"]"

"[\"add\", \"list fillers\", \"\\n[\\\"and\\\" is a fill word]\\n[\\\",\\\" is a fill word]\\n\"]"

"[\"add\", \"OneToTen\", \"[4,7,0,10] \"]"

"[\"remove\", \"OneToTen\"]"

"[\"add\", \"OneToTen\", \"[1,2,3,4,5,6,7,8,9,10]\"]"

"[\"add\", \"yes no\", \"[yes] [no]\"]"

"[\"add\", \"iter test 1\", \"\\n  [ $head = iter [cons $head $tail] ]\\n  [ if [$x = iter $tail ] then [ $x = iter [cons $head $tail] ] ]\\n\"]"

"[\"add\", \"and\", \"[if [$a] and [$b] then [$a and $b]]\"]"

"[\"add\", \"or\", \"\\n[if [$a] then [$a or $b]]\\n[if [$b] then [$a or $b]]\\n\"]"

"[\"add\", \"onetwo\", \"[num(one)] [num(two)]\"]"

"[\"add\", \"cut test\", \"if [num($x)] and [!] then [yo($x)]\"]"

"[\"add\", \"not v1\", \"\\n[if [$x] and [!] and [false] then [not(X)]]\\n[not(X)]\\n\"]"

"[\"add\", \"not v2\", \"\\n[if [$x] and [!] and [false] then [not($x)]]\\n[not($x)]\\n\"]"

"[\"add\", \"not test 1\", \"[[not(false)] should be true]\"]"

"[\"add\", \"not test 2\", \"[[not(true)] should be false]\"]"

"[\"add\", \"not\", \"\\n[if [$x] and [!] and [false] then [not($x)]]\\n[not($x)]\\n\"]"

"[\"remove\", \"not v2\"]"

"[\"add\", \"brackets\", \"if [$x] then [($x)]\"]"

"[\"remove\", \"eq\"]"

"[\"add\", \"eq\", \"$x=$x\"]"

"[\"remove\", \"eq\"]"

"[\"remove\", \"YisX\"]"

"[\"add\", \"eq\", \"[$x=$x]\"]"

"[\"add\", \"YisX\", \"[if [$x = $a] and  [$y = $x] then [$y = $a] ]\"]"

"[\"add\", \"AisBisC\", \"[if [$a = $b] and [$b = $c] then [$c = $a] ]\"]"

"[\"add\", \"verify 1\", \"if $x then [verify [$x should be true]]\"]"

"[\"add\", \"verify 2\", \"if [not($x)] then [verify [$x should be false]]\"]"

"[\"add\", \"PennyNickel\", \"[5 pennies are 1 nickel]\"]"

"[\"remove\", \"FeetToInches\"]"

"[\"add\", \"FeetToInches\", \"[if[$x]]\"]"

"[\"remove\", \"FeetToInches\"]"

"[\"add\", \"smartmul\", \"\\n[if [$a = intmul($b, $c)] then [$a = smartmul ($b, $c)}]\\n[if [$b = intdiv($a, $c)] then [$a = smartmul ($b, $c)}]\\n\\n[if [$c = intdiv($a, $b)] then [$a = smartmul ($b, $c)}]\\n\"]"

"[\"remove\", \"smartmul\"]"

"[\"add\", \"smartmul\", \"\\n[if [$a = intmul($b, $c)] then [$a = smartmul ($b, $c))]\\n[if [$b = intdiv($a, $c)] then [$a = smartmul ($b, $c))]\\n\\n[if [$c = intdiv($a, $b)] then [$a = smartmul ($b, $c))]\\n\"]"

"[\"add\", \"bgrgndzmul\", \"\\n\\n[if [$a = intmul($b, $c)] then [$a = smartmul ($b, $c))]\\n[if [$b = intdiv($a, $c)] then [$a = smartmul ($b, $c))]\\n\\n[if [$c = intdiv($a, $b)] then [$a = smartmul ($b, $c))]\\n\"]"

"[\"add\", \"in list\", \"[=[\\nthen [$e in $x]\\n[ $head = iter [cons $head $tail] ]\\n[ if [$x = iter $tail ] then [ $x = iter [cons $head $tail] ] ]\"]"

"[\"remove\", \"in list\"]"

"[\"add\", \"in list\", \"\\nif   [$c = tocons($list)]\\nand  [$e = iter $c]\\nthen [$e in $c]\\n\"]"

"[\"add\", \"is in list\", \"\\nif   [$c = tocons($list)]\\nand  [$e = iter $c]\\nthen [$e is in list $c]\\n\"]"

"[\"add\", \"is in list\", \"\\nif   [$c = tocons($list)]\\nand  [$e = iter $c]\\nthen [$e is in list $list]\\n\"]"

"[\"add\", \"iter\", \"\\n  [ $head = iter [cons $head $tail] ]\\n  [ if [$x = iter $tail ] then [ $x = iter [cons $head $tail] ] ]\\n\"]"

"[\"remove\", \"iter test 1\"]"

"[\"add\", \"what is tasty\", \"if [user says [what is tasty]] and [$x is tasty] say [$x is tasty!]\"]"

"[\"add\", \"xor\", \"=[if [true and true] then [$x = false] ]==[if [true and false] then [$x = true]]==[if [false and true] then [$x = true] ]== [ if [false and false] then [$x = false] ]=\"]"

"[\"remove\", \"xor\"]"

"[\"add\", \"xor\", \"[=[if [$x and $y] then [$x xor $y] ]==[if [not($x) and not($y)] then [$x xor $y] ]==[if [not($x) and not($y)] then [$x xor $y] ]=]\"]"

"[\"add\", \"xor2\", \"[=[\\n  if [$x and not($y)] then [$x xor $y]\\n  if [not($x) and $y] then [$x xor $y]\\n]=\"]"

"[\"add\", \"xor2\", \"\\n if [$x and not($y)] then [$x xor $y]\\n if [not($x) and $y] then [$x xor $y]\\n\"]"

"[\"add\", \"xor2\", \"\\n if [$x and [not($y)]] then [$x xor $y]\\n if [[not($x)] and $y] then [$x xor $y]\\n\"]"

"[\"add\", \"xor2\", \"\\n[if [$x and [not($y)]] then [$x xor $y]]\\n[if [[not($x)] and $y] then [$x xor $y]]\\n\"]"

"[\"remove\", \"xor\"]"

"[\"add\", \"xor\", \"\\n[if [$x and [not($y)]] then [$x xor $y]]\\n[if [[not($x)] and $y] then [$x xor $y]]\\n\"]"

"[\"remove\", \"xor2\"]"

"[\"add\", \"user says what is tasty\", \"user says [what is tasty]\"]"

"[\"add\", \"Lasagna AI 1\", \" [\\\"what is tasty\\\", lasagna, \\\"ice cream\\\"] \"]"

"[\"add\", \"lolol\", \" if [user says [so funny eleu]] say [hahaha lol]\"]"

"[\"add\", \"asdf\", \"if [user say [] say [spam] \"]"

"[\"add\", \"asdf\", \"if [user say [bla] say [spam] \"]"

"[\"add\", \"asdf\", \"if [user says [bla] say [spam] \"]"

"[\"add\", \"asdf\", \"if [user says [bla] say [spam] ]\"]"

"[\"add\", \"asdf\", \" if [user says [bla]] say [spam]\"]"

"[\"add\", \"asdf\", \" if [user says []] say [spam]\"]"

"[\"add\", \"asdf\", \" if [user says [ ]] say [spam]\"]"

"[\"add\", \"asdf\", \" if [user says [bla]] say [useful]\"]"

"[\"add\", \"asdf\", \" if [user says [$x]] say [useful]\"]"

"[\"add\", \"asdf\", \" if [user says [placeholder]] say [useful]\"]"

"[\"add\", \"usermul\", \"if [user says [$a * $b]] and [$c = intmul($a, $b)] say [it's $c!]\"]"

"[\"add\", \"asdf\", \" if [user says [$a]] say [$a]\"]"

"[\"add\", \"asdf\", \" if [user says [placeholder]] say [useful]\"]"

"[\"add\", \"asdf\", \"if [user says [$a * $b]] say [intmul($a, $b)!]\"]"

"[\"add\", \"DadJoke001\", \"[=[if user says [$a her] say [$a her? I hardly know her!]]]=\"]"

"[\"add\", \"DadJoke001\", \"[if user says [$a her]] say [$a her? I hardly know her!]]\"]"

"[\"add\", \"DadJoke001\", \"if [user says [$a her]] say [$a her? I hardly know her!]]\"]"

"[\"add\", \"DadJoke002 dadjoke\", \"if [user says [i am $a]] say [hello $a!]]\"]"

"[\"remove\", \"DadJoke002 dadjoke\"]"

"[\"add\", \"DadJoke002\", \"if [user says [i am $a]] say [hello $a!]]\"]"

"[\"add\", \"asdf\", \"if [user says [$a / $b]] and [$c = intdiv($a, $b)] say [$c]\"]"

"[\"add\", \"asdf\", \"if [user says [$a + $b]] and [$c = intadd($a, $b)] say [$c]\"]"

"[\"add\", \"asdf\", \"if [user says [$a * $b * $c]] and [$d = intmul($a, $b, $c)] say [$d]\"]"

"[\"add\", \"asdf\", \"if [user says [$a * $b * $c]] and [$d = intmul($a, $b)] and [$e = intmul($d, $c)] say [$e]\"]"

"[\"add\", \"multiplication\", \"if [user says [$a * $b]] say [_intmul($a, $b)]\"]"

"[\"add\", \"multiplication\", \"if [user says [$a * $b]] say [intmul($a, $b)]\"]"

"[\"add\", \"division\", \"if [user says [$a * $b]] say [intdiv($a, $b)]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a - $b]] say [intminus($a, $b)]\"]"

"[\"add\", \"addition\", \"if [user says [$a + $b]] say [intadd($a, $b)]\"]"

"[\"add\", \"division\", \"if [user says [$a / $b]] say [intdiv($a, $b)]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a+$b]] or [user says[$a-$b]] say [im working]\"]"

"[\"add\", \"calc\", \"if [user says [$a / $b]] say [intdiv($a, $b)] if [user says [$a + $b]] say [intadd($a, $b)] if [user says [$a - $b]] say [intminus($a, $b)] if [user says [$a * $b]] say [intmul($a, $b)]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a]] say [im working]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a ***]] say [im working]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a ***]] or [user says[$a ///]] say [im working]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a ***]] and [$b = hello] say [im working $b]\"]"

"[\"add\", \"subtraction\", \"if [user says [blabla]] say [im working]\"]"

"[\"add\", \"subtraction\", \"if [user says [blabla]] and [$c = 1] say [im working]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a * $b]] and [$c = intmul($a, $b)] say [$c]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a * $b]] and [$c = value] say [$c]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a - $b]] and [$c = 5] say [$c]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a - $b]] say [$c]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a - $b]] say [$a]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a - $b]] and [$c = 5] say [$a]\"]"

"[\"add\", \"unified\", \"[addition, division, subtraction, multiplication]\"]"

"[\"add\", \"unified\", \"[addition, division, subtraction, multiplication, eq]\"]"

"[\"add\", \"subtraction\", \"if [user says [$a - $b]] say [intminus($a, $b)]\"]"

"[\"add\", \"forceEval\", \"[intadd($a, $b)=intadd($a, $b)]\"]"

"[\"add\", \"unified\", \"[addition, division, subtraction, multiplication, eq, forceEval]\"]"

"[\"add\", \"temp\", \"[intmul($a, $b)]\"]"

"[\"add\", \"temp\", \"[man(stef)]\"]"

"[\"add\", \"temp\", \"[man(stef):- blue(stef)]\"]"

"[\"add\", \"temp2\", \"[blue(stef)]\"]"

"[\"add\", \"temp3\", \"[temp, temp2]\"]"

"[\"add\", \"temp\", \"[blue(stef)]\"]"

"[\"add\", \"temp\", \"[ [blue(stef)] [man(stef):- blue(stef)] ]\"]"

"[\"add\", \":-\", \"if [$b :- $a] then [if $a then $b]\"]"

"[\"add\", \"dad\", \"DadJoke001, DadJoke002\"]"

"[\"add\", \":- test\", \" hello :- true \"]"

"[\"add\", \"if-user-says\", \"if [if user says $x, say $y] then [if [user says $x] say $y]\"]"

"[\"add\", \"simpler syntax test\", \"if user says [good morning], say [good morning to you too]\"]"

"[\"add\", \"good morning\", \"\"]"

"[\"add\", \"good morning\", \"[if [user says [good morning]] say [good morning to you too]]\\n\"]"

"[\"add\", \"lenny\", \"lenny is the greatest\"]"

"[\"add\", \"greatest\", \"if [$x is the greatest] then [$x is greater than $y]\"]"

"[\"add\", \"DadJoke003\", \"[if [user says [Why didn't the terminator upgrade to windows 10?]] then [say[I asked him and he said: 'I still love Vista, baby']]]\"]"

"[\"add\", \"dad\", \"DadJoke001, DadJoke002, DadJoke003\"]"

"[\"add\", \"eval test squaring\", \"if [user says $x] then [say [eval(intmul($x, $x))]]\"]"

"[\"add\", \"division\", \"if [user says [$a / $b]] say [eval(intdiv($a, $b))]\"]"

"[\"add\", \"forall_impl\", \" if [$cond] and [saveTo($x, $c)] and [false] then [forall_impl($x, $cond, $c)] \"]"

"[\"add\", \"list comp\", \" if [$c = new collector] and [[forall_impl($x, $cond, $c)] or true] and [$list = retrieve($c)] then [$list = [$x | $condition]] \"]"

"[\"add\", \"and 3\", \" if [$a] and [$b] and [$c] then [$a and $b and $c] \"]"

"[\"add\", \"and 4\", \" if [$a] and [$b] and [$c] and [$d] then [$a and $b and $c and $d] \"]"

"[\"add\", \"first sentence\", \" \\nif [$x = everything left of \\\".\\\" in $y] then [$x = first sentence in $y] \"]"

"[\"add\", \"IndexOfSentence\", \"if number of periods in sentence is less than $x and $x is > 0 then return all characters before it  until another period is reached\"]"

"[\"add\", \"IndexOfSentence\", \"if a period is at a certain index, then return all words before until another period has been found\"]"

"[\"add\", \"list comp\", \" if [$c = new collector] and [[forall_impl($x, $cond, $c)] or true] and [$list = retrieve($c)] then [$list = [$x | $cond]]  \"]"

"[\"add\", \"tasty list\", \"$list = [$x | [$x is tasty]]\"]"

"[\"add\", \"double tasty test\", \" [$l = [$x | [$x is tasty]]] and [$y = [[try $z] | [$z is tasty]]] \"]"

"[\"add\", \"eq\", \"\\\"$x==$x\\\"\"]"

"[\"remove\", \"eq2\"]"

"[\"remove\", \"eq3\"]"

"[\"add\", \"eq\", \"$x==$x\"]"

"[\"add\", \"number of theories\", \"if [$x = eval(arity of [eval(all theory names)])] then [$x = number of theories]\"]"

"[\"add\", \"number of theories 2\", \"[eval(arity of [eval(all theory names)])] = number of theories\"]"

"[\"add\", \"blabla\", \"\\\"test\\\"\"]"

"[\"remove\", \"blabla\"]"

"[\"add\", \"blabla\", \"test\"]"

"[\"remove\", \"blabla\"]"

"[\"add\", \"is a theory\", \" $t is in list [eval(all theory names)] \"]"

"[\"add\", \"is a theory\", \" if [$t is in list [eval(all theory names)]] then [$t is a theory] \"]"

"[\"add\", \"find yes\", \" $x = [ $t | [[$t is a theory] and [head yes exists in theory $t]] ] \"]"

"[\"add\", \"superior lasagna\", \"lasagna is more tasty than [ice cream]\"]"

"[\"add\", \"test theory\", \"if [user says [hello world] then [say [Wow, how original]]\"]"

"[\"remove\", \"test theory\"]"

"[\"add\", \"dadbot+1\", \"the dadbot is really funny\"]"

"[\"add\", \"very funny\", \"if [$x is very funny] then [$x is funny]\"]"

"[\"add\", \"really funny\", \"if [$x is really funny] then [$x is funny]\"]"

"[\"add\", \"no the\", \"s/the//\"]"

```