Answer for stefanreich (>> log [the name of [theory bla]] is $x) [3000316]

FALSE in ["maus", "rewrite clauses", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 3", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "rewrite clauses", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 3", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits"]
```
Starting on goal: [the name of [theory bla]] is $x
Goal arity 3: [the name of [theory bla]] is $x
nextSolution
Got clause: _14 is funny
  Clause unifies to: [the name of [theory bla]] is funny
  gdash: [the name of [theory bla]] is really funny
Goal arity 4: [the name of [theory bla]] is really funny
Got clause: _105 is funny
  Clause unifies to: [the name of [theory bla]] is funny
  gdash: [the name of [theory bla]] is very funny
Goal arity 4: [the name of [theory bla]] is very funny

No solution``` 94 ms

Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt

Snippet ID:	#3000316
Snippet name:	Answer for stefanreich (>> log [the name of [theory bla]] is $x)
Eternal ID of this version:	#3000316/1
Text MD5:	bb21926b239acbc755e76eccbb661ef8
Author:	someone
Category:
Type:	New Tinybrain snippet
Gummipassword:	eleutheria-for-user
Uploaded from IP:	69.10.46.185
Public (visible to everyone):	Yes
Archived (hidden from active list):	No
Created/modified:	2016-03-13 19:26:23
Source code size:	1939 bytes / 15 lines
Pitched / IR pitched:	No / No
Views / Downloads:	459 / 91
Referenced in:	[show references]

< > BotCompany Repo | #3000316 // Answer for stefanreich (>> log [the name of [theory bla]] is $x)

New Tinybrain snippet