FALSE in ["tennis", "and", "not", "is a theory", "is in list", "iter", "and 3", "tb.stefanreich.004683"]
```
Starting on goal: [think [user says [boris becker is a tennis player]]] and [say $x]
Goal arity 3: [think [user says [boris becker is a tennis player]]] and [say $x]
nextSolution
Got clause: _1 and _2
Clause unifies to: [think [user says [boris becker is a tennis player]]] and [say $x]
gdash: think [user says [boris becker is a tennis player]]
Goal arity 2: think [user says [boris becker is a tennis player]]
Got clause: think _9
Clause unifies to: think [user says [boris becker is a tennis player]]
Clause is native.
gdash: say $x
Goal arity 2: say $x
Got clause: say [ah , so _20 _21 must be a fit guy !]
Clause unifies to: say [ah , so _20 _21 must be a fit guy !]
gdash: user says [_20 _21 is a tennis player]
Goal arity 3: user says [_20 _21 is a tennis player]
Got clause: user says [boris becker is a tennis player]
Clause unifies to: user says [boris becker is a tennis player]
gdash: memorize [boris becker is supposedly a tennis player]
Goal arity 2: memorize [boris becker is supposedly a tennis player]
No solution``` 2 msSnippet is not live.
Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
| Snippet ID: | #3000370 |
| Snippet name: | Answer for @_@ (>> say [boris becker is a tennis player] in [tennis, signed]) |
| Eternal ID of this version: | #3000370/1 |
| Text MD5: | 9fc19722daac9955f621da92f6f81dc5 |
| 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-31 20:12:27 |
| Source code size: | 1190 bytes / 24 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 411 / 88 |
| Referenced in: | [show references] |