!7

sS script = [[
  Make an empty thought space X.
  Assert (X is empty).
  Add (God is good) to X.
  Assert (Not (X is empty)).
  Apply rule (Remove (God is good)) to X.
  Assert (X is empty).
]];

sS bla = [[
]];

p {
  myTruth(bla);
}