1 | TRUE. |
2 | ``` |
3 | $x = [ah , so andre agassi must be a fit guy !] |
4 | ``` |
5 | ``` |
6 | Used theories: and, memorize new, nat, or3, tennis, thought |
7 | Thoughts: |
8 | memorized [andre agassi is supposedly a tennis player] |
9 | Starting on goal: [think [user says [andre agassi is a tennis player]]] and [say $x] |
10 | Goal arity 3: [think [user says [andre agassi is a tennis player]]] and [say $x] |
11 | nextSolution |
12 | Got clause: _1 and _2 |
13 | Clause unifies to: [think [user says [andre agassi is a tennis player]]] and [say $x] |
14 | gdash: think [user says [andre agassi is a tennis player]] |
15 | Goal arity 2: think [user says [andre agassi is a tennis player]] |
16 | Got clause: think _7 |
17 | Clause unifies to: think [user says [andre agassi is a tennis player]] |
18 | Clause is native. |
19 | gdash: say $x |
20 | Goal arity 2: say $x |
21 | Got clause: say [ah , so _20 _21 must be a fit guy !] |
22 | Clause unifies to: say [ah , so _20 _21 must be a fit guy !] |
23 | gdash: user says [_20 _21 is a tennis player] |
24 | Goal arity 3: user says [_20 _21 is a tennis player] |
25 | Got clause: user says [andre agassi is a tennis player] |
26 | Clause unifies to: user says [andre agassi is a tennis player] |
27 | gdash: memorize [andre agassi is supposedly a tennis player] |
28 | Goal arity 2: memorize [andre agassi is supposedly a tennis player] |
29 | Got clause: memorize _50 |
30 | Clause unifies to: memorize [andre agassi is supposedly a tennis player] |
31 | gdash: [andre agassi is supposedly a tennis player] or [memorized [andre agassi is supposedly a tennis player]] or [memorize_impl [andre agassi is supposedly a tennis player]] |
32 | Goal arity 5: [andre agassi is supposedly a tennis player] or [memorized [andre agassi is supposedly a tennis player]] or [memorize_impl [andre agassi is supposedly a tennis player]] |
33 | Got clause: _69 or _70 or _71 |
34 | Clause unifies to: [andre agassi is supposedly a tennis player] or [memorized [andre agassi is supposedly a tennis player]] or [memorize_impl [andre agassi is supposedly a tennis player]] |
35 | gdash: andre agassi is supposedly a tennis player |
36 | Goal arity 7: andre agassi is supposedly a tennis player |
37 | Got clause: _76 or _77 or _78 |
38 | Clause unifies to: [andre agassi is supposedly a tennis player] or [memorized [andre agassi is supposedly a tennis player]] or [memorize_impl [andre agassi is supposedly a tennis player]] |
39 | gdash: memorized [andre agassi is supposedly a tennis player] |
40 | Goal arity 2: memorized [andre agassi is supposedly a tennis player] |
41 | Got clause: _99 or _100 or _101 |
42 | Clause unifies to: [andre agassi is supposedly a tennis player] or [memorized [andre agassi is supposedly a tennis player]] or [memorize_impl [andre agassi is supposedly a tennis player]] |
43 | gdash: memorize_impl [andre agassi is supposedly a tennis player] |
44 | Goal arity 2: memorize_impl [andre agassi is supposedly a tennis player] |
45 | Got clause: memorize_impl _107 |
46 | Clause unifies to: memorize_impl [andre agassi is supposedly a tennis player] |
47 | Clause is native. |
48 | gdash: - |
49 | SUCCESS! |
50 | solution found in step 80``` |
51 | [done] 7 ms |
Snippet 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: | #3000298 |
| Snippet name: | Answer for stefanreich (>> say [andre agassi is a tennis player] in [tennis, signedstefan]) |
| Eternal ID of this version: | #3000298/1 |
| Text MD5: | 610b48809f98d942ca18dbdb8f15964a |
| 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-12 17:15:15 |
| Source code size: | 3052 bytes / 51 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 436 / 107 |
| Referenced in: | [show references] |