TRUE.
```
$y = [[not (false)]]
```
```
Used theories: ?, forall_impl, list comp, nat, not test 1, or
Starting on goal: $y = [$x | [$x should be true]]
Goal arity 3: $y = [$x | [$x should be true]]
nextSolution
Got clause: _10 = [_11 | _12]
  Clause unifies to: $y = [_11 | [_11 should be true]]
  gdash: _13 = new collector
Goal arity 4: _13 = new collector
 Got clause: _14 = new collector
   Clause unifies to: _13 = new collector
  Clause is native.
   gdash: [forall_impl ([_11 , [_11 should be true] , <collector>])] or true
 Goal arity 3: [forall_impl ([_11 , [_11 should be true] , <collector>])] or true
  Got clause: _28 or _29
    Clause unifies to: [forall_impl ([_11 , [_11 should be true] , <collector>])] or true
    gdash: forall_impl ([_11 , [_11 should be true] , <collector>])
  Goal arity 2: forall_impl ([_11 , [_11 should be true] , <collector>])
   Got clause: forall_impl ([_36 , _37 , _38])
     Clause unifies to: forall_impl ([_11 , [_11 should be true] , <collector>])
     gdash: _11 should be true
   Goal arity 4: _11 should be true
    Got clause: [not (false)] should be true
      Clause unifies to: [not (false)] should be true
      gdash: saveTo ([[not (false)] , <collector>])
    Goal arity 2: saveTo ([[not (false)] , <collector>])
     Got clause: saveTo ([_97 , _98])
       Clause unifies to: saveTo ([[not (false)] , <collector>])
      Clause is native.
       gdash: false
     Goal arity 0: false
  Got clause: _155 or _156
    Clause unifies to: [forall_impl ([_11 , [_11 should be true] , <collector>])] or true
    gdash: true
  Goal arity 0: true
   Got clause: true
     Clause unifies to: true
     gdash: $y = retrieve (<collector>)
   Goal arity 4: $y = retrieve (<collector>)
    Got clause: _158 = retrieve (_159)
      Clause unifies to: $y = retrieve (<collector>)
     Clause is native.
      gdash: -
SUCCESS!
  solution found in step 104```
[done] 10 ms