Answer for stefanreich (>> log [ask $x] in ["care tennis", care, signed]) [3000306]

FALSE in ["care tennis", "care", "maus", "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", "iter", "dadbot+1", "eq", "brackets", "or3", "number of theories", "theory", "very funny", "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", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "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", "iter", "dadbot+1", "eq", "brackets", "or3", "number of theories", "theory", "very funny", "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", "is a theory", "ifthenelse", "foot-feet", "bit-bits"]
```
Starting on goal: ask $x
Goal arity 2: ask $x
nextSolution
Got clause: ask [what is the _7 of _8 ?]
  Clause unifies to: ask [what is the _7 of _8 ?]
  gdash: _8 has a _7
Goal arity 4: _8 has a _7

No solution``` 1 ms

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

Snippet ID:	#3000306
Snippet name:	Answer for stefanreich (>> log [ask $x] in ["care tennis", care, signed])
Eternal ID of this version:	#3000306/1
Text MD5:	8f7f7647a744fd5f309677b67c36e3ef
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 17:25:19
Source code size:	1456 bytes / 11 lines
Pitched / IR pitched:	No / No
Views / Downloads:	430 / 120
Referenced in:	[show references]

< > BotCompany Repo | #3000306 // Answer for stefanreich (>> log [ask $x] in ["care tennis", care, signed])

New Tinybrain snippet