HATSON0.1

128 days ago by PatrickHammer

A system for understanding natural language by Patrick Hammer.

Blue code is generated by the AI system, not written by me.
%hide from YP import * from Atom import * from Compiler import * from ListPair import * from Variable import * from cStringIO import StringIO import sys sys.setrecursionlimit(100000) def PROLOG(prologCode): prologCode="\n"+prologCode+"\n" code=StringIO(); YP.tell(code); YP.see(YP.StringReader(prologCode)) TermList = Variable(); PseudoCode = Variable() for l1 in parseInput(TermList): for l2 in makeFunctionPseudoCode(TermList, PseudoCode): convertFunctionPython(PseudoCode) YP.seen(); return code.getvalue() Value=lambda v: v.getValue().toQuotedString() AIString=lambda s: s.replace("?","").replace(".","").replace(",","").lower() SetOf=lambda s: AIString(s).split(" ") class _: def __eq__(x,y): return true _=_() #enables haskell like pattern matching in python 
       
Nouns=[] def question(s,bBegin=true): #execute prolog question global sv,T if bBegin: s=filter(None,s.replace(" ","").replace("(",",").replace(")",",").replace("?-","").replace(".","").split(",")) #Assume that we don't know much about sentence structure, except that the assumptions about the categorys verb, noun etc. hold #so let's permutate the elements in s and try: P=permutations(s) for p in P: if question(p,false): return true questionLi="" for x in s: vartype="not a function" try: exec "vartype=type("+x+").__name__" except: None #if it's a property then python knows it as function if vartype=="function": questionLi+=x+"(" #if it's a atom then it's in fact memory as atom elif x in Nouns or x in sv: # questionLi+='Atom.a("'+x+'"),' #ah so it's a variable: else: exec "X"+x+"=Variable()" in globals() #make it known to python too questionLi+="X"+x+"," pythStr=(questionLi+")").replace(",)",")") print pythStr try: exec "ret=not "+pythStr+".next()" return ret except: return false 
       
sv="";code="" def FACT(x): #tell prolog facts global sv,code print x sv+="\n"+x str=PROLOG(sv.replace(" ","")) code=str exec str in globals() 
       
def prol(s,kw): start="" if "?" in s: start="?-" s=s.replace(","," ") s=s.replace("?","") L=["wenn"] #if words M=s.split(" "+L[0]+" ") ret="" ki=0 #keyword_index for m in M: N=m.split(" "+kw[ki]) ret+=kw[ki]+"("+N[0].replace(" ",",") if len(N)>1 and N[1]!="": ret+=N[1].replace(" ",",") ret=ret+"):-" ki+=1 PreRet=(start+ret[0:len(ret)-2]+".").replace("(,","(").replace("(,","(") #python schlamperei ftw, scheiß stringfunktionen St=PreRet.split(":-") for i in range(len(St)): St[i]="c"+str(St[i].count(","))+""+St[i] R=St[0] if len(St)>1: R+=":-"+St[1] return R.replace("),",")").replace("(,","(").replace(",,",",").replace(".)",")").replace("(.","(").replace(",,",",") 
       
bPrintCode=true #Python has serious bugs with default parameters def Work(s,SENTENCE="",bBegin=true,Len=-1): #todo Len stuffing so that this param is not needed anymore global Nouns,T,Mem; s=" "+s; Mem+=s i=0 Lu=s.split(" ") for u in Lu: if len(u)>0 and u[0].isupper(): Nouns.append(u.lower().replace("?","")) while Len!=-1 and len(s.split(" "))<Len+1: s+=" irgend"+str(i); i+=1 s="".join([a.lower() for a in s]).replace(".",",").replace("(","").replace(")","") s=s.replace("\n",",") kw=["ist" for i in range(100)] if "?" in s: return question(prol(s,kw)) if bBegin: Work(s,"",false) if not bBegin: FACT(prol(s,kw)) if bPrintCode: print code 
       
sv="" #delete knowledge!! Mem=[]; Nouns=[] 
       
Work("der hund ist tot wenn das futter vergiftet ist") 
        
c2ist(der,hund,tot):-c2ist(das,futter,vergiftet).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
c2ist(der,hund,tot):-c2ist(das,futter,vergiftet).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
Work("das futter ist vergiftet") 
        
c2ist(das,futter,vergiftet).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
c2ist(das,futter,vergiftet).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
Work("ist der hund tot?") 
        
c2ist(Atom.a("der"),Atom.a("hund"),Atom.a("tot"))
True
c2ist(Atom.a("der"),Atom.a("hund"),Atom.a("tot"))
True
Work("ist irgend jemand tot?") 
        
c2ist(Xirgend,Xjemand,Atom.a("tot"))
True
c2ist(Xirgend,Xjemand,Atom.a("tot"))
True
Work("irgend wer ist tot?") 
        
c2ist(Xirgend,Xwer,Atom.a("tot"))
True
c2ist(Xirgend,Xwer,Atom.a("tot"))
True
Work("der mond ist blau wenn der tag lang ist") 
        
c2ist(der,mond,blau):-c2ist(der,tag,lang).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
c2ist(der,mond,blau):-c2ist(der,tag,lang).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
Work("der tag ist lang") 
        
c2ist(der,tag,lang).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False
c2ist(der,tag,lang).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False
Work("ist der mond blau?") 
        
c2ist(Atom.a("der"),Atom.a("mond"),Atom.a("blau"))
True
c2ist(Atom.a("der"),Atom.a("mond"),Atom.a("blau"))
True
Work("mir geht es gut wenn der tag lang ist") 
        
c3ist(mir,geht,es,gut):-c2ist(der,tag,lang).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False
c3ist(mir,geht,es,gut):-c2ist(der,tag,lang).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False
Work("der tag ist lang") 
        
c2ist(der,tag,lang).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False
c2ist(der,tag,lang).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False
Work("geht es mir gut?") 
        
c3ist(Atom.a("geht"),Atom.a("es"),Atom.a("mir"),Atom.a("gut"))
c3ist(Atom.a("geht"),Atom.a("es"),Atom.a("gut"),Atom.a("mir"))
c3ist(Atom.a("geht"),Atom.a("mir"),Atom.a("es"),Atom.a("gut"))
c3ist(Atom.a("geht"),Atom.a("mir"),Atom.a("gut"),Atom.a("es"))
c3ist(Atom.a("geht"),Atom.a("gut"),Atom.a("es"),Atom.a("mir"))
c3ist(Atom.a("geht"),Atom.a("gut"),Atom.a("mir"),Atom.a("es"))
c3ist(Atom.a("es"),Atom.a("geht"),Atom.a("mir"),Atom.a("gut"))
c3ist(Atom.a("es"),Atom.a("geht"),Atom.a("gut"),Atom.a("mir"))
c3ist(Atom.a("es"),Atom.a("mir"),Atom.a("geht"),Atom.a("gut"))
c3ist(Atom.a("es"),Atom.a("mir"),Atom.a("gut"),Atom.a("geht"))
c3ist(Atom.a("es"),Atom.a("gut"),Atom.a("geht"),Atom.a("mir"))
c3ist(Atom.a("es"),Atom.a("gut"),Atom.a("mir"),Atom.a("geht"))
c3ist(Atom.a("mir"),Atom.a("geht"),Atom.a("es"),Atom.a("gut"))
True
c3ist(Atom.a("geht"),Atom.a("es"),Atom.a("mir"),Atom.a("gut"))
c3ist(Atom.a("geht"),Atom.a("es"),Atom.a("gut"),Atom.a("mir"))
c3ist(Atom.a("geht"),Atom.a("mir"),Atom.a("es"),Atom.a("gut"))
c3ist(Atom.a("geht"),Atom.a("mir"),Atom.a("gut"),Atom.a("es"))
c3ist(Atom.a("geht"),Atom.a("gut"),Atom.a("es"),Atom.a("mir"))
c3ist(Atom.a("geht"),Atom.a("gut"),Atom.a("mir"),Atom.a("es"))
c3ist(Atom.a("es"),Atom.a("geht"),Atom.a("mir"),Atom.a("gut"))
c3ist(Atom.a("es"),Atom.a("geht"),Atom.a("gut"),Atom.a("mir"))
c3ist(Atom.a("es"),Atom.a("mir"),Atom.a("geht"),Atom.a("gut"))
c3ist(Atom.a("es"),Atom.a("mir"),Atom.a("gut"),Atom.a("geht"))
c3ist(Atom.a("es"),Atom.a("gut"),Atom.a("geht"),Atom.a("mir"))
c3ist(Atom.a("es"),Atom.a("gut"),Atom.a("mir"),Atom.a("geht"))
c3ist(Atom.a("mir"),Atom.a("geht"),Atom.a("es"),Atom.a("gut"))
True
Work("geht es jemand gut?") 
        
c3ist(Atom.a("geht"),Atom.a("es"),Xjemand,Atom.a("gut"))
c3ist(Atom.a("geht"),Atom.a("es"),Atom.a("gut"),Xjemand)
c3ist(Atom.a("geht"),Xjemand,Atom.a("es"),Atom.a("gut"))
c3ist(Atom.a("geht"),Xjemand,Atom.a("gut"),Atom.a("es"))
c3ist(Atom.a("geht"),Atom.a("gut"),Atom.a("es"),Xjemand)
c3ist(Atom.a("geht"),Atom.a("gut"),Xjemand,Atom.a("es"))
c3ist(Atom.a("es"),Atom.a("geht"),Xjemand,Atom.a("gut"))
c3ist(Atom.a("es"),Atom.a("geht"),Atom.a("gut"),Xjemand)
c3ist(Atom.a("es"),Xjemand,Atom.a("geht"),Atom.a("gut"))
c3ist(Atom.a("es"),Xjemand,Atom.a("gut"),Atom.a("geht"))
c3ist(Atom.a("es"),Atom.a("gut"),Atom.a("geht"),Xjemand)
c3ist(Atom.a("es"),Atom.a("gut"),Xjemand,Atom.a("geht"))
c3ist(Xjemand,Atom.a("geht"),Atom.a("es"),Atom.a("gut"))
True
c3ist(Atom.a("geht"),Atom.a("es"),Xjemand,Atom.a("gut"))
c3ist(Atom.a("geht"),Atom.a("es"),Atom.a("gut"),Xjemand)
c3ist(Atom.a("geht"),Xjemand,Atom.a("es"),Atom.a("gut"))
c3ist(Atom.a("geht"),Xjemand,Atom.a("gut"),Atom.a("es"))
c3ist(Atom.a("geht"),Atom.a("gut"),Atom.a("es"),Xjemand)
c3ist(Atom.a("geht"),Atom.a("gut"),Xjemand,Atom.a("es"))
c3ist(Atom.a("es"),Atom.a("geht"),Xjemand,Atom.a("gut"))
c3ist(Atom.a("es"),Atom.a("geht"),Atom.a("gut"),Xjemand)
c3ist(Atom.a("es"),Xjemand,Atom.a("geht"),Atom.a("gut"))
c3ist(Atom.a("es"),Xjemand,Atom.a("gut"),Atom.a("geht"))
c3ist(Atom.a("es"),Atom.a("gut"),Atom.a("geht"),Xjemand)
c3ist(Atom.a("es"),Atom.a("gut"),Xjemand,Atom.a("geht"))
c3ist(Xjemand,Atom.a("geht"),Atom.a("es"),Atom.a("gut"))
True
Work("du bist ein idiot") 
        
c3ist(du,bist,ein,idiot).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("du")):
    for l2 in YP.unify(arg2, Atom.a("bist")):
      for l3 in YP.unify(arg3, Atom.a("ein")):
        for l4 in YP.unify(arg4, Atom.a("idiot")):
          yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("du")):
    for l2 in YP.unify(arg2, Atom.a("bist")):
      for l3 in YP.unify(arg3, Atom.a("ein")):
        for l4 in YP.unify(arg4, Atom.a("idiot")):
          yield False
c3ist(du,bist,ein,idiot).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("du")):
    for l2 in YP.unify(arg2, Atom.a("bist")):
      for l3 in YP.unify(arg3, Atom.a("ein")):
        for l4 in YP.unify(arg4, Atom.a("idiot")):
          yield False


def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):
    for l2 in YP.unify(arg2, Atom.a("geht")):
      for l3 in YP.unify(arg3, Atom.a("es")):
        for l4 in YP.unify(arg4, Atom.a("gut")):
          for l5 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
            yield False

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("du")):
    for l2 in YP.unify(arg2, Atom.a("bist")):
      for l3 in YP.unify(arg3, Atom.a("ein")):
        for l4 in YP.unify(arg4, Atom.a("idiot")):
          yield False
Work("bist du ein idiot?") 
        
c3ist(Atom.a("bist"),Atom.a("du"),Atom.a("ein"),Atom.a("idiot"))
c3ist(Atom.a("bist"),Atom.a("du"),Atom.a("idiot"),Atom.a("ein"))
c3ist(Atom.a("bist"),Atom.a("ein"),Atom.a("du"),Atom.a("idiot"))
c3ist(Atom.a("bist"),Atom.a("ein"),Atom.a("idiot"),Atom.a("du"))
c3ist(Atom.a("bist"),Atom.a("idiot"),Atom.a("du"),Atom.a("ein"))
c3ist(Atom.a("bist"),Atom.a("idiot"),Atom.a("ein"),Atom.a("du"))
c3ist(Atom.a("du"),Atom.a("bist"),Atom.a("ein"),Atom.a("idiot"))
True
c3ist(Atom.a("bist"),Atom.a("du"),Atom.a("ein"),Atom.a("idiot"))
c3ist(Atom.a("bist"),Atom.a("du"),Atom.a("idiot"),Atom.a("ein"))
c3ist(Atom.a("bist"),Atom.a("ein"),Atom.a("du"),Atom.a("idiot"))
c3ist(Atom.a("bist"),Atom.a("ein"),Atom.a("idiot"),Atom.a("du"))
c3ist(Atom.a("bist"),Atom.a("idiot"),Atom.a("du"),Atom.a("ein"))
c3ist(Atom.a("bist"),Atom.a("idiot"),Atom.a("ein"),Atom.a("du"))
c3ist(Atom.a("du"),Atom.a("bist"),Atom.a("ein"),Atom.a("idiot"))
True
SENTENCE=""" DeepThought (Schachcomputer) DeepThought war ein Schachcomputer, der von Feng-hsiung Hsu an der Carnegie Mellon University entwickelt wurde. Er wurde benannt nach dem fiktionalen Computer DeepThought aus Douglas Adams Romanreihe Per Anhalter durch die Galaxis. Die erste Version entstand im Mai 1988, eine Vorläuferversion trug den Namen ChipTest. Die Weiterentwicklung des Programms durch IBM erfolgte unter dem Namen Deep Blue. DeepThought gewann die nordamerikanische Computer-Schachmeisterschaft 1988 und die Computer-Schachweltmeisterschaft 1989. Schlagzeilen machte DeepThought 1988 durch einen geteilten 1. Platz beim Open von Long Beach, Kalifornien, bei dem das Programm eine Partie gegen Großmeister Bent Larsen gewinnen konnte, der zu dieser Zeit auf Platz 96 der Weltrangliste stand. Es lief auf einer Sun 4 Workstation und konnte etwa 720.000 Stellungen pro Sekunde berechnen. [1] Im Jahr 1989 verlor DeepThought zwei Partien gegen Garri Kasparow sowie eine Fernschachpartie gegen Michael Valvo, konnte aber eine Turnierpartie gegen Robert Byrne gewinnen und besiegte den Internationalen Meister David Levy in einem Wettkampf deutlich mit 4:0. """ 
       
Len=6 def USE_TEXT(SENTENCE,Len=-1): global Nouns H=lambda M: [M[i:j+1] for i in range(len(M)) for j in range(i,len(M))] #hierachical set li=SENTENCE.replace("\n"," ").replace(","," ").replace("."," ").split(" ") for a in li: if len(a)>0 and a[0].upper(): Nouns+=a SENTS=SENTENCE.replace("\n"," ").replace(",",".").split(".") for x in SENTS: lu=[" ".join(a) for a in H(x.split(" ")) if Len==-1 or len(a)==Len] for y in lu: if len(y)>0 and y[0]!=" " and y[len(y)-1]!=" " and " " not in y: Work(y) print code bPrintCode=false 
       
USE_TEXT(SENTENCE,Len) 
        
WARNING: Output truncated!  
full_output.txt



c5ist(der,von,feng-hsiung,hsu,an,der).
c5ist(von,feng-hsiung,hsu,an,der,carnegie).
c5ist(feng-hsiung,hsu,an,der,carnegie,mellon).
c5ist(hsu,an,der,carnegie,mellon,university).
c5ist(an,der,carnegie,mellon,university,entwickelt).
c5ist(der,carnegie,mellon,university,entwickelt,wurde).
c5ist(er,wurde,benannt,nach,dem,fiktionalen).
c5ist(wurde,benannt,nach,dem,fiktionalen,computer).
c5ist(benannt,nach,dem,fiktionalen,computer,deepthought).
c5ist(nach,dem,fiktionalen,computer,deepthought,aus).
c5ist(dem,fiktionalen,computer,deepthought,aus,douglas).
c5ist(fiktionalen,computer,deepthought,aus,douglas,adams).
c5ist(computer,deepthought,aus,douglas,adams,romanreihe).
c5ist(deepthought,aus,douglas,adams,romanreihe,per).
c5ist(aus,douglas,adams,romanreihe,per,anhalter).
c5ist(douglas,adams,romanreihe,per,anhalter,durch).
c5ist(adams,romanreihe,per,anhalter,durch,die).
c5ist(romanreihe,per,anhalter,durch,die,galaxis).
c5ist(die,erste,version,entstand,im,mai).
c5ist(erste,version,entstand,im,mai,1988).
c5ist(eine,vorläuferversion,trug,den,namen,chiptest).
c5ist(die,weiterentwicklung,des,programms,durch,ibm).
c5ist(weiterentwicklung,des,programms,durch,ibm,erfolgte).
c5ist(des,programms,durch,ibm,erfolgte,unter).
c5ist(programms,durch,ibm,erfolgte,unter,dem).
c5ist(durch,ibm,erfolgte,unter,dem,namen).
c5ist(ibm,erfolgte,unter,dem,namen,deep).
c5ist(erfolgte,unter,dem,namen,deep,blue).
c5ist(deepthought,gewann,die,nordamerikanische,computer-schachmeistersch\
aft,1988).
c5ist(gewann,die,nordamerikanische,computer-schachmeisterschaft,1988,und\
).
c5ist(die,nordamerikanische,computer-schachmeisterschaft,1988,und,die).
c5ist(nordamerikanische,computer-schachmeisterschaft,1988,und,die,comput\
er-schachweltmeisterschaft).
c5ist(computer-schachmeisterschaft,1988,und,die,computer-schachweltmeist\
erschaft,1989).
c5ist(schlagzeilen,machte,deepthought,1988,durch,einen).
c5ist(machte,deepthought,1988,durch,einen,geteilten).
c5ist(deepthought,1988,durch,einen,geteilten,1).
c5ist(platz,beim,open,von,long,beach).
c5ist(bei,dem,das,programm,eine,partie).
c5ist(dem,das,programm,eine,partie,gegen).
c5ist(das,programm,eine,partie,gegen,großmeister).
c5ist(programm,eine,partie,gegen,großmeister,bent).
c5ist(eine,partie,gegen,großmeister,bent,larsen).
c5ist(partie,gegen,großmeister,bent,larsen,gewinnen).
c5ist(gegen,großmeister,bent,larsen,gewinnen,konnte).
c5ist(der,zu,dieser,zeit,auf,platz).
c5ist(zu,dieser,zeit,auf,platz,96).
c5ist(dieser,zeit,auf,platz,96,der).
c5ist(zeit,auf,platz,96,der,weltrangliste).
c5ist(auf,platz,96,der,weltrangliste,stand).
c5ist(es,lief,auf,einer,sun,4).
c5ist(lief,auf,einer,sun,4,workstation).
c5ist(auf,einer,sun,4,workstation,und).
c5ist(einer,sun,4,workstation,und,konnte).
c5ist(sun,4,workstation,und,konnte,etwa).
c5ist(4,workstation,und,konnte,etwa,720).
c5ist([1],im,jahr,1989,verlor,deepthought).
c5ist(im,jahr,1989,verlor,deepthought,zwei).
c5ist(jahr,1989,verlor,deepthought,zwei,partien).
c5ist(1989,verlor,deepthought,zwei,partien,gegen).

...

            for l6 in YP.unify(arg6, Atom.a("meister")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("und")):
    for l2 in YP.unify(arg2, Atom.a("besiegte")):
      for l3 in YP.unify(arg3, Atom.a("den")):
        for l4 in YP.unify(arg4, Atom.a("internationalen")):
          for l5 in YP.unify(arg5, Atom.a("meister")):
            for l6 in YP.unify(arg6, Atom.a("david")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("besiegte")):
    for l2 in YP.unify(arg2, Atom.a("den")):
      for l3 in YP.unify(arg3, Atom.a("internationalen")):
        for l4 in YP.unify(arg4, Atom.a("meister")):
          for l5 in YP.unify(arg5, Atom.a("david")):
            for l6 in YP.unify(arg6, Atom.a("levy")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("den")):
    for l2 in YP.unify(arg2, Atom.a("internationalen")):
      for l3 in YP.unify(arg3, Atom.a("meister")):
        for l4 in YP.unify(arg4, Atom.a("david")):
          for l5 in YP.unify(arg5, Atom.a("levy")):
            for l6 in YP.unify(arg6, Atom.a("in")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("internationalen")):
    for l2 in YP.unify(arg2, Atom.a("meister")):
      for l3 in YP.unify(arg3, Atom.a("david")):
        for l4 in YP.unify(arg4, Atom.a("levy")):
          for l5 in YP.unify(arg5, Atom.a("in")):
            for l6 in YP.unify(arg6, Atom.a("einem")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("meister")):
    for l2 in YP.unify(arg2, Atom.a("david")):
      for l3 in YP.unify(arg3, Atom.a("levy")):
        for l4 in YP.unify(arg4, Atom.a("in")):
          for l5 in YP.unify(arg5, Atom.a("einem")):
            for l6 in YP.unify(arg6, Atom.a("wettkampf")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("david")):
    for l2 in YP.unify(arg2, Atom.a("levy")):
      for l3 in YP.unify(arg3, Atom.a("in")):
        for l4 in YP.unify(arg4, Atom.a("einem")):
          for l5 in YP.unify(arg5, Atom.a("wettkampf")):
            for l6 in YP.unify(arg6, Atom.a("deutlich")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("levy")):
    for l2 in YP.unify(arg2, Atom.a("in")):
      for l3 in YP.unify(arg3, Atom.a("einem")):
        for l4 in YP.unify(arg4, Atom.a("wettkampf")):
          for l5 in YP.unify(arg5, Atom.a("deutlich")):
            for l6 in YP.unify(arg6, Atom.a("mit")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("in")):
    for l2 in YP.unify(arg2, Atom.a("einem")):
      for l3 in YP.unify(arg3, Atom.a("wettkampf")):
        for l4 in YP.unify(arg4, Atom.a("deutlich")):
          for l5 in YP.unify(arg5, Atom.a("mit")):
            for l6 in YP.unify(arg6, Functor2(":", 4, 0)):
              yield False
WARNING: Output truncated!  
full_output.txt



c5ist(der,von,feng-hsiung,hsu,an,der).
c5ist(von,feng-hsiung,hsu,an,der,carnegie).
c5ist(feng-hsiung,hsu,an,der,carnegie,mellon).
c5ist(hsu,an,der,carnegie,mellon,university).
c5ist(an,der,carnegie,mellon,university,entwickelt).
c5ist(der,carnegie,mellon,university,entwickelt,wurde).
c5ist(er,wurde,benannt,nach,dem,fiktionalen).
c5ist(wurde,benannt,nach,dem,fiktionalen,computer).
c5ist(benannt,nach,dem,fiktionalen,computer,deepthought).
c5ist(nach,dem,fiktionalen,computer,deepthought,aus).
c5ist(dem,fiktionalen,computer,deepthought,aus,douglas).
c5ist(fiktionalen,computer,deepthought,aus,douglas,adams).
c5ist(computer,deepthought,aus,douglas,adams,romanreihe).
c5ist(deepthought,aus,douglas,adams,romanreihe,per).
c5ist(aus,douglas,adams,romanreihe,per,anhalter).
c5ist(douglas,adams,romanreihe,per,anhalter,durch).
c5ist(adams,romanreihe,per,anhalter,durch,die).
c5ist(romanreihe,per,anhalter,durch,die,galaxis).
c5ist(die,erste,version,entstand,im,mai).
c5ist(erste,version,entstand,im,mai,1988).
c5ist(eine,vorläuferversion,trug,den,namen,chiptest).
c5ist(die,weiterentwicklung,des,programms,durch,ibm).
c5ist(weiterentwicklung,des,programms,durch,ibm,erfolgte).
c5ist(des,programms,durch,ibm,erfolgte,unter).
c5ist(programms,durch,ibm,erfolgte,unter,dem).
c5ist(durch,ibm,erfolgte,unter,dem,namen).
c5ist(ibm,erfolgte,unter,dem,namen,deep).
c5ist(erfolgte,unter,dem,namen,deep,blue).
c5ist(deepthought,gewann,die,nordamerikanische,computer-schachmeisterschaft,1988).
c5ist(gewann,die,nordamerikanische,computer-schachmeisterschaft,1988,und).
c5ist(die,nordamerikanische,computer-schachmeisterschaft,1988,und,die).
c5ist(nordamerikanische,computer-schachmeisterschaft,1988,und,die,computer-schachweltmeisterschaft).
c5ist(computer-schachmeisterschaft,1988,und,die,computer-schachweltmeisterschaft,1989).
c5ist(schlagzeilen,machte,deepthought,1988,durch,einen).
c5ist(machte,deepthought,1988,durch,einen,geteilten).
c5ist(deepthought,1988,durch,einen,geteilten,1).
c5ist(platz,beim,open,von,long,beach).
c5ist(bei,dem,das,programm,eine,partie).
c5ist(dem,das,programm,eine,partie,gegen).
c5ist(das,programm,eine,partie,gegen,großmeister).
c5ist(programm,eine,partie,gegen,großmeister,bent).
c5ist(eine,partie,gegen,großmeister,bent,larsen).
c5ist(partie,gegen,großmeister,bent,larsen,gewinnen).
c5ist(gegen,großmeister,bent,larsen,gewinnen,konnte).
c5ist(der,zu,dieser,zeit,auf,platz).
c5ist(zu,dieser,zeit,auf,platz,96).
c5ist(dieser,zeit,auf,platz,96,der).
c5ist(zeit,auf,platz,96,der,weltrangliste).
c5ist(auf,platz,96,der,weltrangliste,stand).
c5ist(es,lief,auf,einer,sun,4).
c5ist(lief,auf,einer,sun,4,workstation).
c5ist(auf,einer,sun,4,workstation,und).
c5ist(einer,sun,4,workstation,und,konnte).
c5ist(sun,4,workstation,und,konnte,etwa).
c5ist(4,workstation,und,konnte,etwa,720).
c5ist([1],im,jahr,1989,verlor,deepthought).
c5ist(im,jahr,1989,verlor,deepthought,zwei).
c5ist(jahr,1989,verlor,deepthought,zwei,partien).
c5ist(1989,verlor,deepthought,zwei,partien,gegen).

...

            for l6 in YP.unify(arg6, Atom.a("meister")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("und")):
    for l2 in YP.unify(arg2, Atom.a("besiegte")):
      for l3 in YP.unify(arg3, Atom.a("den")):
        for l4 in YP.unify(arg4, Atom.a("internationalen")):
          for l5 in YP.unify(arg5, Atom.a("meister")):
            for l6 in YP.unify(arg6, Atom.a("david")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("besiegte")):
    for l2 in YP.unify(arg2, Atom.a("den")):
      for l3 in YP.unify(arg3, Atom.a("internationalen")):
        for l4 in YP.unify(arg4, Atom.a("meister")):
          for l5 in YP.unify(arg5, Atom.a("david")):
            for l6 in YP.unify(arg6, Atom.a("levy")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("den")):
    for l2 in YP.unify(arg2, Atom.a("internationalen")):
      for l3 in YP.unify(arg3, Atom.a("meister")):
        for l4 in YP.unify(arg4, Atom.a("david")):
          for l5 in YP.unify(arg5, Atom.a("levy")):
            for l6 in YP.unify(arg6, Atom.a("in")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("internationalen")):
    for l2 in YP.unify(arg2, Atom.a("meister")):
      for l3 in YP.unify(arg3, Atom.a("david")):
        for l4 in YP.unify(arg4, Atom.a("levy")):
          for l5 in YP.unify(arg5, Atom.a("in")):
            for l6 in YP.unify(arg6, Atom.a("einem")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("meister")):
    for l2 in YP.unify(arg2, Atom.a("david")):
      for l3 in YP.unify(arg3, Atom.a("levy")):
        for l4 in YP.unify(arg4, Atom.a("in")):
          for l5 in YP.unify(arg5, Atom.a("einem")):
            for l6 in YP.unify(arg6, Atom.a("wettkampf")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("david")):
    for l2 in YP.unify(arg2, Atom.a("levy")):
      for l3 in YP.unify(arg3, Atom.a("in")):
        for l4 in YP.unify(arg4, Atom.a("einem")):
          for l5 in YP.unify(arg5, Atom.a("wettkampf")):
            for l6 in YP.unify(arg6, Atom.a("deutlich")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("levy")):
    for l2 in YP.unify(arg2, Atom.a("in")):
      for l3 in YP.unify(arg3, Atom.a("einem")):
        for l4 in YP.unify(arg4, Atom.a("wettkampf")):
          for l5 in YP.unify(arg5, Atom.a("deutlich")):
            for l6 in YP.unify(arg6, Atom.a("mit")):
              yield False
  for l1 in YP.unify(arg1, Atom.a("in")):
    for l2 in YP.unify(arg2, Atom.a("einem")):
      for l3 in YP.unify(arg3, Atom.a("wettkampf")):
        for l4 in YP.unify(arg4, Atom.a("deutlich")):
          for l5 in YP.unify(arg5, Atom.a("mit")):
            for l6 in YP.unify(arg6, Functor2(":", 4, 0)):
              yield False
Work("verlor deepthought gegen Garri?", Len=Len) 
        
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("gar\
ri"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("gar\
ri"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend0,At\
om.a("garri"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend0,Xi\
rgend1,Atom.a("garri"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend1,At\
om.a("garri"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend1,Xi\
rgend0,Atom.a("garri"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Atom.a("geg\
en"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Atom.a("geg\
en"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Xirgend0,At\
om.a("gegen"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Xirgend0,Xi\
rgend1,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Xirgend1,At\
om.a("gegen"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Xirgend1,Xi\
rgend0,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("gegen"),At\
om.a("garri"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("gegen"),Xi\
rgend1,Atom.a("garri"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("garri"),At\
om.a("gegen"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("garri"),Xi\
rgend1,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Xirgend1,Atom.a("g\
egen"),Atom.a("garri"))
True
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("garri"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("garri"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend0,Atom.a("garri"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend0,Xirgend1,Atom.a("garri"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend1,Atom.a("garri"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend1,Xirgend0,Atom.a("garri"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Atom.a("gegen"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Atom.a("gegen"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Xirgend0,Atom.a("gegen"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Xirgend0,Xirgend1,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Xirgend1,Atom.a("gegen"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("garri"),Xirgend1,Xirgend0,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("gegen"),Atom.a("garri"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("gegen"),Xirgend1,Atom.a("garri"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("garri"),Atom.a("gegen"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("garri"),Xirgend1,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Xirgend1,Atom.a("gegen"),Atom.a("garri"))
True
Work("verlor deepthought gegen Bart?", Len=Len) 
        
WARNING: Output truncated!  
full_output.txt



c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("bar\
t"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("bar\
t"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend0,At\
om.a("bart"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend0,Xi\
rgend1,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend1,At\
om.a("bart"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend1,Xi\
rgend0,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Atom.a("gege\
n"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Atom.a("gege\
n"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Xirgend0,Ato\
m.a("gegen"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Xirgend0,Xir\
gend1,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Xirgend1,Ato\
m.a("gegen"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Xirgend1,Xir\
gend0,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("gegen"),At\
om.a("bart"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("gegen"),Xi\
rgend1,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("bart"),Ato\
m.a("gegen"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("bart"),Xir\
gend1,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Xirgend1,Atom.a("g\
egen"),Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Xirgend1,Atom.a("b\
art"),Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Atom.a("gegen"),At\
om.a("bart"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Atom.a("gegen"),Xi\
rgend0,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Atom.a("bart"),Ato\
m.a("gegen"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Atom.a("bart"),Xir\
gend0,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Xirgend0,Atom.a("g\
egen"),Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Xirgend0,Atom.a("b\
art"),Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Atom.a("bar\
t"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Atom.a("bar\
t"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Xirgend0,At\
om.a("bart"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Xirgend0,Xi\
rgend1,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Xirgend1,At\
om.a("bart"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Xirgend1,Xi\
rgend0,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Atom.a("deepthough\
t"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Atom.a("deepthough\
t"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Xirgend0,Atom.a("d\
eepthought"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Xirgend0,Xirgend1,\
Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Xirgend1,Atom.a("d\
eepthought"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Xirgend1,Xirgend0,\
Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Atom.a("deepthought"),At\
om.a("bart"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Atom.a("deepthought"),Xi\
rgend1,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Atom.a("bart"),Atom.a("d\
eepthought"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Atom.a("bart"),Xirgend1,\
Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Xirgend1,Atom.a("deeptho\
ught"),Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Xirgend1,Atom.a("bart"),\
Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Atom.a("deepthought"),At\
om.a("bart"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Atom.a("deepthought"),Xi\
rgend0,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Atom.a("bart"),Atom.a("d\
eepthought"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Atom.a("bart"),Xirgend0,\
Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Xirgend0,Atom.a("deeptho\
ught"),Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Xirgend0,Atom.a("bart"),\
Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Atom.a("gege\
n"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Atom.a("gege\
n"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Xirgend0,Ato\
m.a("gegen"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Xirgend0,Xir\
gend1,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Xirgend1,Ato\
m.a("gegen"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Xirgend1,Xir\
gend0,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("gegen"),Atom.a("deepthough\
t"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("gegen"),Atom.a("deepthough\
t"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("gegen"),Xirgend0,Atom.a("d\
eepthought"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("gegen"),Xirgend0,Xirgend1,\
Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("gegen"),Xirgend1,Atom.a("d\
eepthought"),Xirgend0)

...

Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("gegen"),Atom.a("verlor")\
,c5ist(Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("gegen"),Atom.a("verlor")\
,Atom.a("bart"),c5ist()
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("gegen"),Atom.a("bart"),c\
5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("gegen"),Atom.a("bart"),A\
tom.a("verlor"),c5ist()
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),c5ist(Atom.a("ver\
lor"),Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),c5ist(Atom.a("geg\
en"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),Atom.a("verlor"),\
c5ist(Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),Atom.a("verlor"),\
Atom.a("gegen"),c5ist()
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),Atom.a("gegen"),c\
5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),Atom.a("gegen"),A\
tom.a("verlor"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("verlor"),Atom.a("deeptho\
ught"),Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("verlor"),Atom.a("bart"),\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("deepthought"),Atom.a("ve\
rlor"),Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("deepthought"),Atom.a("ba\
rt"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("bart"),Atom.a("verlor"),\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("bart"),Atom.a("deepthoug\
ht"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),c5ist(Atom.a("deeptho\
ught"),Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),c5ist(Atom.a("bart"),\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),Atom.a("deepthought")\
,c5ist(Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),Atom.a("deepthought")\
,Atom.a("bart"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),Atom.a("bart"),c5ist(\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),Atom.a("bart"),Atom.a\
("deepthought"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),c5ist(Atom.a("ve\
rlor"),Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),c5ist(Atom.a("ba\
rt"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),Atom.a("verlor")\
,c5ist(Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),Atom.a("verlor")\
,Atom.a("bart"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),Atom.a("bart"),c\
5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),Atom.a("bart"),A\
tom.a("verlor"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),c5ist(Atom.a("verlor"),\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),c5ist(Atom.a("deepthoug\
ht"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),Atom.a("verlor"),c5ist(\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),Atom.a("verlor"),Atom.a\
("deepthought"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),Atom.a("deepthought"),c\
5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),Atom.a("deepthought"),A\
tom.a("verlor"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("verlor"),Atom.a("deepthou\
ght"),Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("verlor"),Atom.a("gegen"),\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("deepthought"),Atom.a("ver\
lor"),Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("deepthought"),Atom.a("geg\
en"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("gegen"),Atom.a("verlor"),\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("gegen"),Atom.a("deepthoug\
ht"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),c5ist(Atom.a("deepthou\
ght"),Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),c5ist(Atom.a("gegen"),\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),Atom.a("deepthought"),\
c5ist(Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),Atom.a("deepthought"),\
Atom.a("gegen"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),Atom.a("gegen"),c5ist(\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),Atom.a("gegen"),Atom.a\
("deepthought"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),c5ist(Atom.a("ver\
lor"),Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),c5ist(Atom.a("geg\
en"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),Atom.a("verlor"),\
c5ist(Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),Atom.a("verlor"),\
Atom.a("gegen"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),Atom.a("gegen"),c\
5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),Atom.a("gegen"),A\
tom.a("verlor"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),c5ist(Atom.a("verlor"),\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),c5ist(Atom.a("deepthoug\
ht"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),Atom.a("verlor"),c5ist(\
Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),Atom.a("verlor"),Atom.a\
("deepthought"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),Atom.a("deepthought"),c\
5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),Atom.a("deepthought"),A\
tom.a("verlor"),c5ist()
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("bar\
t"),Xirgend0,Xirgend1)
False
WARNING: Output truncated!  
full_output.txt



c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("bart"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("bart"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend0,Atom.a("bart"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend0,Xirgend1,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend1,Atom.a("bart"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend1,Xirgend0,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Atom.a("gegen"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Atom.a("gegen"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Xirgend0,Atom.a("gegen"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Xirgend0,Xirgend1,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Xirgend1,Atom.a("gegen"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),Xirgend1,Xirgend0,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("gegen"),Atom.a("bart"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("gegen"),Xirgend1,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("bart"),Atom.a("gegen"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Atom.a("bart"),Xirgend1,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Xirgend1,Atom.a("gegen"),Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend0,Xirgend1,Atom.a("bart"),Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Atom.a("gegen"),Atom.a("bart"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Atom.a("gegen"),Xirgend0,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Atom.a("bart"),Atom.a("gegen"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Atom.a("bart"),Xirgend0,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Atom.a("bart"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Atom.a("bart"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Xirgend0,Atom.a("bart"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Xirgend0,Xirgend1,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Xirgend1,Atom.a("bart"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),Xirgend1,Xirgend0,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Atom.a("deepthought"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Atom.a("deepthought"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Xirgend0,Atom.a("deepthought"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Xirgend0,Xirgend1,Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Xirgend1,Atom.a("deepthought"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("bart"),Xirgend1,Xirgend0,Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Atom.a("deepthought"),Atom.a("bart"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Atom.a("deepthought"),Xirgend1,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Atom.a("bart"),Atom.a("deepthought"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Atom.a("bart"),Xirgend1,Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Xirgend1,Atom.a("deepthought"),Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend0,Xirgend1,Atom.a("bart"),Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Atom.a("deepthought"),Atom.a("bart"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Atom.a("deepthought"),Xirgend0,Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Atom.a("bart"),Atom.a("deepthought"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Atom.a("bart"),Xirgend0,Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"))
c5ist(Atom.a("verlor"),Atom.a("gegen"),Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Atom.a("gegen"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Xirgend0,Atom.a("gegen"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Xirgend0,Xirgend1,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Xirgend1,Atom.a("gegen"),Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),Xirgend1,Xirgend0,Atom.a("gegen"))
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("gegen"),Atom.a("deepthought"),Xirgend0,Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("gegen"),Atom.a("deepthought"),Xirgend1,Xirgend0)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("gegen"),Xirgend0,Atom.a("deepthought"),Xirgend1)
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("gegen"),Xirgend0,Xirgend1,Atom.a("deepthought"))
c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("gegen"),Xirgend1,Atom.a("deepthought"),Xirgend0)

...

Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("gegen"),Atom.a("verlor"),c5ist(Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("gegen"),Atom.a("verlor"),Atom.a("bart"),c5ist()
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("gegen"),Atom.a("bart"),c5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("gegen"),Atom.a("bart"),Atom.a("verlor"),c5ist()
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),c5ist(Atom.a("verlor"),Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),c5ist(Atom.a("gegen"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),Atom.a("verlor"),c5ist(Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),Atom.a("verlor"),Atom.a("gegen"),c5ist()
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),Atom.a("gegen"),c5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("deepthought"),Atom.a("bart"),Atom.a("gegen"),Atom.a("verlor"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("deepthought"),Atom.a("verlor"),Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("deepthought"),Atom.a("bart"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("bart"),Atom.a("verlor"),Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),c5ist(Atom.a("bart"),Atom.a("deepthought"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),c5ist(Atom.a("deepthought"),Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),c5ist(Atom.a("bart"),Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),Atom.a("deepthought"),c5ist(Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),Atom.a("deepthought"),Atom.a("bart"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),Atom.a("bart"),c5ist(Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("verlor"),Atom.a("bart"),Atom.a("deepthought"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),c5ist(Atom.a("verlor"),Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),c5ist(Atom.a("bart"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),Atom.a("verlor"),c5ist(Atom.a("bart"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),Atom.a("verlor"),Atom.a("bart"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),Atom.a("bart"),c5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("deepthought"),Atom.a("bart"),Atom.a("verlor"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),c5ist(Atom.a("verlor"),Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),c5ist(Atom.a("deepthought"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),Atom.a("verlor"),c5ist(Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),Atom.a("verlor"),Atom.a("deepthought"),c5ist()
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),Atom.a("deepthought"),c5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("gegen"),Atom.a("bart"),Atom.a("deepthought"),Atom.a("verlor"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("deepthought"),Atom.a("verlor"),Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("deepthought"),Atom.a("gegen"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("gegen"),Atom.a("verlor"),Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),c5ist(Atom.a("gegen"),Atom.a("deepthought"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),c5ist(Atom.a("deepthought"),Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),c5ist(Atom.a("gegen"),Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),Atom.a("deepthought"),c5ist(Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),Atom.a("gegen"),c5ist(Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("verlor"),Atom.a("gegen"),Atom.a("deepthought"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),c5ist(Atom.a("verlor"),Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),c5ist(Atom.a("gegen"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),Atom.a("verlor"),c5ist(Atom.a("gegen"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),Atom.a("verlor"),Atom.a("gegen"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),Atom.a("gegen"),c5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("verlor"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),c5ist(Atom.a("verlor"),Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),c5ist(Atom.a("deepthought"),Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),Atom.a("verlor"),c5ist(Atom.a("deepthought"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),Atom.a("verlor"),Atom.a("deepthought"),c5ist()
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),Atom.a("deepthought"),c5ist(Atom.a("verlor"))
Xirgend1,Xirgend0,Atom.a("bart"),Atom.a("gegen"),Atom.a("deepthought"),Atom.a("verlor"),c5ist()
c5ist(Atom.a("verlor"),Atom.a("deepthought"),Atom.a("gegen"),Atom.a("bart"),Xirgend0,Xirgend1)
False
Work("gewann deepthought etwas?",Len=Len) 
        
WARNING: Output truncated!  
full_output.txt



c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend0,Xirgend1,Xi\
rgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend0,Xirgend2,Xi\
rgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend1,Xirgend0,Xi\
rgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend1,Xirgend2,Xi\
rgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend2,Xirgend0,Xi\
rgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend2,Xirgend1,Xi\
rgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xetwas,Xirgend1,Xi\
rgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xetwas,Xirgend2,Xi\
rgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xirgend1,Xetwas,Xi\
rgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xirgend1,Xirgend2,\
Xetwas)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xirgend2,Xetwas,Xi\
rgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xirgend2,Xirgend1,\
Xetwas)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xetwas,Xirgend0,Xi\
rgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xetwas,Xirgend2,Xi\
rgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xirgend0,Xetwas,Xi\
rgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xirgend0,Xirgend2,\
Xetwas)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xirgend2,Xetwas,Xi\
rgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xirgend2,Xirgend0,\
Xetwas)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xetwas,Xirgend0,Xi\
rgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xetwas,Xirgend1,Xi\
rgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xirgend0,Xetwas,Xi\
rgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xirgend0,Xirgend1,\
Xetwas)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xirgend1,Xetwas,Xi\
rgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xirgend1,Xirgend0,\
Xetwas)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend0,Xirgend1,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend0,Xirgend2,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend1,Xirgend0,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend1,Xirgend2,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend2,Xirgend0,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend2,Xirgend1,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Atom.a("deepthought"),Xirgend1,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Atom.a("deepthought"),Xirgend2,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Xirgend1,Atom.a("deepthought"),Xi\
rgend2)
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Xirgend1,Xirgend2,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Xirgend2,Atom.a("deepthought"),Xi\
rgend1)
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Xirgend2,Xirgend1,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Atom.a("deepthought"),Xirgend0,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Atom.a("deepthought"),Xirgend2,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Xirgend0,Atom.a("deepthought"),Xi\
rgend2)
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Xirgend0,Xirgend2,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Xirgend2,Atom.a("deepthought"),Xi\
rgend0)
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Xirgend2,Xirgend0,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Atom.a("deepthought"),Xirgend0,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Atom.a("deepthought"),Xirgend1,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Xirgend0,Atom.a("deepthought"),Xi\
rgend1)
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Xirgend0,Xirgend1,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Xirgend1,Atom.a("deepthought"),Xi\
rgend0)
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Xirgend1,Xirgend0,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xetwas,Xirgend1,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xetwas,Xirgend2,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xirgend1,Xetwas,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xirgend1,Xirgend2,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xirgend2,Xetwas,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xirgend2,Xirgend1,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend0,Xetwas,Atom.a("deepthought"),Xirgend1,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend0,Xetwas,Atom.a("deepthought"),Xirgend2,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend0,Xetwas,Xirgend1,Atom.a("deepthought"),Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend0,Xetwas,Xirgend1,Xirgend2,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend0,Xetwas,Xirgend2,Atom.a("deepthought"),Xi\
rgend1)

...

c5ist(Atom.a("gewann"),Xirgend0,Xirgend1,Xetwas,Atom.a("deepthought"),Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend1,Xetwas,Xirgend2,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend0,Xirgend1,Xirgend2,Atom.a("deepthought"),\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend1,Xirgend2,Xetwas,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Atom.a("deepthought"),Xetwas,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Atom.a("deepthought"),Xirgend1,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Xetwas,Atom.a("deepthought"),Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Xetwas,Xirgend1,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Xirgend1,Atom.a("deepthought"),\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Xirgend1,Xetwas,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xetwas,Xirgend0,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xetwas,Xirgend2,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xirgend0,Xetwas,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xirgend0,Xirgend2,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xirgend2,Xetwas,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xirgend2,Xirgend0,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Atom.a("deepthought"),Xirgend0,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Atom.a("deepthought"),Xirgend2,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Xirgend0,Atom.a("deepthought"),Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Xirgend0,Xirgend2,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Xirgend2,Atom.a("deepthought"),Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Xirgend2,Xirgend0,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Atom.a("deepthought"),Xetwas,Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Atom.a("deepthought"),Xirgend2,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Xetwas,Atom.a("deepthought"),Xi\
rgend2)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Xetwas,Xirgend2,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Xirgend2,Atom.a("deepthought"),\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Xirgend2,Xetwas,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Atom.a("deepthought"),Xetwas,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Atom.a("deepthought"),Xirgend0,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Xetwas,Atom.a("deepthought"),Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Xetwas,Xirgend0,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Xirgend0,Atom.a("deepthought"),\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Xirgend0,Xetwas,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xetwas,Xirgend0,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xetwas,Xirgend1,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xirgend0,Xetwas,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xirgend0,Xirgend1,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xirgend1,Xetwas,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xirgend1,Xirgend0,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Atom.a("deepthought"),Xirgend0,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Atom.a("deepthought"),Xirgend1,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Xirgend0,Atom.a("deepthought"),Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Xirgend0,Xirgend1,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Xirgend1,Atom.a("deepthought"),Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Xirgend1,Xirgend0,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Atom.a("deepthought"),Xetwas,Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Atom.a("deepthought"),Xirgend1,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Xetwas,Atom.a("deepthought"),Xi\
rgend1)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Xetwas,Xirgend1,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Xirgend1,Atom.a("deepthought"),\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Xirgend1,Xetwas,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Atom.a("deepthought"),Xetwas,Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Atom.a("deepthought"),Xirgend0,\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Xetwas,Atom.a("deepthought"),Xi\
rgend0)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Xetwas,Xirgend0,Atom.a("deeptho\
ught"))
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Xirgend0,Atom.a("deepthought"),\
Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Xirgend0,Xetwas,Atom.a("deeptho\
ught"))
c5ist(Atom.a("deepthought"),Atom.a("gewann"),Xetwas,Xirgend0,Xirgend1,Xi\
rgend2)
True
WARNING: Output truncated!  
full_output.txt



c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend0,Xirgend1,Xirgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend0,Xirgend2,Xirgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend1,Xirgend0,Xirgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend1,Xirgend2,Xirgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend2,Xirgend0,Xirgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xetwas,Xirgend2,Xirgend1,Xirgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xetwas,Xirgend1,Xirgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xetwas,Xirgend2,Xirgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xirgend1,Xetwas,Xirgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xirgend1,Xirgend2,Xetwas)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xirgend2,Xetwas,Xirgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend0,Xirgend2,Xirgend1,Xetwas)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xetwas,Xirgend0,Xirgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xetwas,Xirgend2,Xirgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xirgend0,Xetwas,Xirgend2)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xirgend0,Xirgend2,Xetwas)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xirgend2,Xetwas,Xirgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend1,Xirgend2,Xirgend0,Xetwas)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xetwas,Xirgend0,Xirgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xetwas,Xirgend1,Xirgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xirgend0,Xetwas,Xirgend1)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xirgend0,Xirgend1,Xetwas)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xirgend1,Xetwas,Xirgend0)
c5ist(Atom.a("gewann"),Atom.a("deepthought"),Xirgend2,Xirgend1,Xirgend0,Xetwas)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend0,Xirgend1,Xirgend2)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend0,Xirgend2,Xirgend1)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend1,Xirgend0,Xirgend2)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend1,Xirgend2,Xirgend0)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend2,Xirgend0,Xirgend1)
c5ist(Atom.a("gewann"),Xetwas,Atom.a("deepthought"),Xirgend2,Xirgend1,Xirgend0)
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Atom.a("deepthought"),Xirgend1,Xirgend2)
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Atom.a("deepthought"),Xirgend2,Xirgend1)
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Xirgend1,Atom.a("deepthought"),Xirgend2)
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Xirgend1,Xirgend2,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Xirgend2,Atom.a("deepthought"),Xirgend1)
c5ist(Atom.a("gewann"),Xetwas,Xirgend0,Xirgend2,Xirgend1,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Atom.a("deepthought"),Xirgend0,Xirgend2)
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Atom.a("deepthought"),Xirgend2,Xirgend0)
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Xirgend0,Atom.a("deepthought"),Xirgend2)
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Xirgend0,Xirgend2,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Xirgend2,Atom.a("deepthought"),Xirgend0)
c5ist(Atom.a("gewann"),Xetwas,Xirgend1,Xirgend2,Xirgend0,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Atom.a("deepthought"),Xirgend0,Xirgend1)
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Atom.a("deepthought"),Xirgend1,Xirgend0)
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Xirgend0,Atom.a("deepthought"),Xirgend1)
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Xirgend0,Xirgend1,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Xirgend1,Atom.a("deepthought"),Xirgend0)
c5ist(Atom.a("gewann"),Xetwas,Xirgend2,Xirgend1,Xirgend0,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xetwas,Xirgend1,Xirgend2)
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xetwas,Xirgend2,Xirgend1)
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xirgend1,Xetwas,Xirgend2)
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xirgend1,Xirgend2,Xetwas)
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xirgend2,Xetwas,Xirgend1)
c5ist(Atom.a("gewann"),Xirgend0,Atom.a("deepthought"),Xirgend2,Xirgend1,Xetwas)
c5ist(Atom.a("gewann"),Xirgend0,Xetwas,Atom.a("deepthought"),Xirgend1,Xirgend2)
c5ist(Atom.a("gewann"),Xirgend0,Xetwas,Atom.a("deepthought"),Xirgend2,Xirgend1)
c5ist(Atom.a("gewann"),Xirgend0,Xetwas,Xirgend1,Atom.a("deepthought"),Xirgend2)
c5ist(Atom.a("gewann"),Xirgend0,Xetwas,Xirgend1,Xirgend2,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend0,Xetwas,Xirgend2,Atom.a("deepthought"),Xirgend1)

...

c5ist(Atom.a("gewann"),Xirgend0,Xirgend1,Xetwas,Atom.a("deepthought"),Xirgend2)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend1,Xetwas,Xirgend2,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend0,Xirgend1,Xirgend2,Atom.a("deepthought"),Xetwas)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend1,Xirgend2,Xetwas,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Atom.a("deepthought"),Xetwas,Xirgend1)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Atom.a("deepthought"),Xirgend1,Xetwas)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Xetwas,Atom.a("deepthought"),Xirgend1)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Xetwas,Xirgend1,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Xirgend1,Atom.a("deepthought"),Xetwas)
c5ist(Atom.a("gewann"),Xirgend0,Xirgend2,Xirgend1,Xetwas,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xetwas,Xirgend0,Xirgend2)
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xetwas,Xirgend2,Xirgend0)
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xirgend0,Xetwas,Xirgend2)
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xirgend0,Xirgend2,Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xirgend2,Xetwas,Xirgend0)
c5ist(Atom.a("gewann"),Xirgend1,Atom.a("deepthought"),Xirgend2,Xirgend0,Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Atom.a("deepthought"),Xirgend0,Xirgend2)
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Atom.a("deepthought"),Xirgend2,Xirgend0)
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Xirgend0,Atom.a("deepthought"),Xirgend2)
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Xirgend0,Xirgend2,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Xirgend2,Atom.a("deepthought"),Xirgend0)
c5ist(Atom.a("gewann"),Xirgend1,Xetwas,Xirgend2,Xirgend0,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Atom.a("deepthought"),Xetwas,Xirgend2)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Atom.a("deepthought"),Xirgend2,Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Xetwas,Atom.a("deepthought"),Xirgend2)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Xetwas,Xirgend2,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Xirgend2,Atom.a("deepthought"),Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend0,Xirgend2,Xetwas,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Atom.a("deepthought"),Xetwas,Xirgend0)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Atom.a("deepthought"),Xirgend0,Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Xetwas,Atom.a("deepthought"),Xirgend0)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Xetwas,Xirgend0,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Xirgend0,Atom.a("deepthought"),Xetwas)
c5ist(Atom.a("gewann"),Xirgend1,Xirgend2,Xirgend0,Xetwas,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xetwas,Xirgend0,Xirgend1)
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xetwas,Xirgend1,Xirgend0)
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xirgend0,Xetwas,Xirgend1)
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xirgend0,Xirgend1,Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xirgend1,Xetwas,Xirgend0)
c5ist(Atom.a("gewann"),Xirgend2,Atom.a("deepthought"),Xirgend1,Xirgend0,Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Atom.a("deepthought"),Xirgend0,Xirgend1)
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Atom.a("deepthought"),Xirgend1,Xirgend0)
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Xirgend0,Atom.a("deepthought"),Xirgend1)
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Xirgend0,Xirgend1,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Xirgend1,Atom.a("deepthought"),Xirgend0)
c5ist(Atom.a("gewann"),Xirgend2,Xetwas,Xirgend1,Xirgend0,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Atom.a("deepthought"),Xetwas,Xirgend1)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Atom.a("deepthought"),Xirgend1,Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Xetwas,Atom.a("deepthought"),Xirgend1)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Xetwas,Xirgend1,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Xirgend1,Atom.a("deepthought"),Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend0,Xirgend1,Xetwas,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Atom.a("deepthought"),Xetwas,Xirgend0)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Atom.a("deepthought"),Xirgend0,Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Xetwas,Atom.a("deepthought"),Xirgend0)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Xetwas,Xirgend0,Atom.a("deepthought"))
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Xirgend0,Atom.a("deepthought"),Xetwas)
c5ist(Atom.a("gewann"),Xirgend2,Xirgend1,Xirgend0,Xetwas,Atom.a("deepthought"))
c5ist(Atom.a("deepthought"),Atom.a("gewann"),Xetwas,Xirgend0,Xirgend1,Xirgend2)
True
#Hier eine Vorschau des nächsten Milestones(fehlt nicht mehr viel). #Man soll ganze Regelwerke in Sprache definieren können #und man die AI dann dazu befragen können. SENTENCE=""" Rotwein ist violett wenn blau beigemischt ist. Blau ist beigemischt. """ USE_TEXT(SENTENCE) 
        
WARNING: Output truncated!  
full_output.txt



c0ist(rotwein).
c0ist(rotwein).
c1ist(rotwein,violett).
c2ist(rotwein,violett,wenn).
c1ist(rotwein,violett):-c0ist(blau).
c1ist(rotwein,violett):-c1ist(blau,beigemischt).
c1ist(rotwein,violett):-c1ist(blau,beigemischt).
c0ist().
c0ist(violett).
c1ist(violett,wenn).
c0ist(violett):-c0ist(blau).
c0ist(violett):-c1ist(blau,beigemischt).
c0ist(violett):-c1ist(blau,beigemischt).
c0ist(violett).
c1ist(violett,wenn).
c0ist(violett):-c0ist(blau).
c0ist(violett):-c1ist(blau,beigemischt).
c0ist(violett):-c1ist(blau,beigemischt).
c0ist(wenn).
c0ist():-c0ist(blau).
c0ist():-c1ist(blau,beigemischt).
c0ist():-c1ist(blau,beigemischt).
c0ist(blau).
c1ist(blau,beigemischt).
c1ist(blau,beigemischt).
c0ist(beigemischt).
c0ist(beigemischt).
c0ist().
c0ist(blau).
c0ist(blau).
c1ist(blau,beigemischt).
c0ist().
c0ist(beigemischt).
c0ist(beigemischt).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"),
Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):

...

      yield False
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in c1ist(Atom.a("blau"), Atom.a("beigemischt")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in c1ist(Atom.a("blau"), Atom.a("beigemischt")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("violett")):
    yield False

def c1ist(arg1, arg2):
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in YP.unify(arg2, Atom.a("wenn")):
      yield False

def c0ist(arg1):
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in c0ist(Atom.a("blau")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in c1ist(Atom.a("blau"), Atom.a("beigemischt")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in c1ist(Atom.a("blau"), Atom.a("beigemischt")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("wenn")):
    yield False
  for l1 in YP.unify(arg1, Atom.a("blau")):
    yield False

def c1ist(arg1, arg2):
  for l1 in YP.unify(arg1, Atom.a("blau")):
    for l2 in YP.unify(arg2, Atom.a("beigemischt")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("blau")):
    for l2 in YP.unify(arg2, Atom.a("beigemischt")):
      yield False

def c0ist(arg1):
  for l1 in YP.unify(arg1, Atom.a("beigemischt")):
    yield False
  for l1 in YP.unify(arg1, Atom.a("beigemischt")):
    yield False
  for l1 in YP.unify(arg1, Atom.a("blau")):
    yield False
  for l1 in YP.unify(arg1, Atom.a("blau")):
    yield False

def c1ist(arg1, arg2):
  for l1 in YP.unify(arg1, Atom.a("blau")):
    for l2 in YP.unify(arg2, Atom.a("beigemischt")):
      yield False

def c0ist(arg1):
  for l1 in YP.unify(arg1, Atom.a("beigemischt")):
    yield False
  for l1 in YP.unify(arg1, Atom.a("beigemischt")):
    yield False
WARNING: Output truncated!  
full_output.txt



c0ist(rotwein).
c0ist(rotwein).
c1ist(rotwein,violett).
c2ist(rotwein,violett,wenn).
c1ist(rotwein,violett):-c0ist(blau).
c1ist(rotwein,violett):-c1ist(blau,beigemischt).
c1ist(rotwein,violett):-c1ist(blau,beigemischt).
c0ist().
c0ist(violett).
c1ist(violett,wenn).
c0ist(violett):-c0ist(blau).
c0ist(violett):-c1ist(blau,beigemischt).
c0ist(violett):-c1ist(blau,beigemischt).
c0ist(violett).
c1ist(violett,wenn).
c0ist(violett):-c0ist(blau).
c0ist(violett):-c1ist(blau,beigemischt).
c0ist(violett):-c1ist(blau,beigemischt).
c0ist(wenn).
c0ist():-c0ist(blau).
c0ist():-c1ist(blau,beigemischt).
c0ist():-c1ist(blau,beigemischt).
c0ist(blau).
c1ist(blau,beigemischt).
c1ist(blau,beigemischt).
c0ist(beigemischt).
c0ist(beigemischt).
c0ist().
c0ist(blau).
c0ist(blau).
c1ist(blau,beigemischt).
c0ist().
c0ist(beigemischt).
c0ist(beigemischt).
def getDeclaringClass():
  return globals()

def c2ist(arg1, arg2, arg3):
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("hund")):
      for l3 in YP.unify(arg3, Atom.a("tot")):
        for l4 in c2ist(Atom.a("das"), Atom.a("futter"), Atom.a("vergiftet")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("das")):
    for l2 in YP.unify(arg2, Atom.a("futter")):
      for l3 in YP.unify(arg3, Atom.a("vergiftet")):
        yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("mond")):
      for l3 in YP.unify(arg3, Atom.a("blau")):
        for l4 in c2ist(Atom.a("der"), Atom.a("tag"), Atom.a("lang")):
          yield False
  for l1 in YP.unify(arg1, Atom.a("der")):
    for l2 in YP.unify(arg2, Atom.a("tag")):
      for l3 in YP.unify(arg3, Atom.a("lang")):
        yield False

def c3ist(arg1, arg2, arg3, arg4):
  for l1 in YP.unify(arg1, Atom.a("mir")):

...

      yield False
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in c1ist(Atom.a("blau"), Atom.a("beigemischt")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in c1ist(Atom.a("blau"), Atom.a("beigemischt")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("violett")):
    yield False

def c1ist(arg1, arg2):
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in YP.unify(arg2, Atom.a("wenn")):
      yield False

def c0ist(arg1):
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in c0ist(Atom.a("blau")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in c1ist(Atom.a("blau"), Atom.a("beigemischt")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("violett")):
    for l2 in c1ist(Atom.a("blau"), Atom.a("beigemischt")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("wenn")):
    yield False
  for l1 in YP.unify(arg1, Atom.a("blau")):
    yield False

def c1ist(arg1, arg2):
  for l1 in YP.unify(arg1, Atom.a("blau")):
    for l2 in YP.unify(arg2, Atom.a("beigemischt")):
      yield False
  for l1 in YP.unify(arg1, Atom.a("blau")):
    for l2 in YP.unify(arg2, Atom.a("beigemischt")):
      yield False

def c0ist(arg1):
  for l1 in YP.unify(arg1, Atom.a("beigemischt")):
    yield False
  for l1 in YP.unify(arg1, Atom.a("beigemischt")):
    yield False
  for l1 in YP.unify(arg1, Atom.a("blau")):
    yield False
  for l1 in YP.unify(arg1, Atom.a("blau")):
    yield False

def c1ist(arg1, arg2):
  for l1 in YP.unify(arg1, Atom.a("blau")):
    for l2 in YP.unify(arg2, Atom.a("beigemischt")):
      yield False

def c0ist(arg1):
  for l1 in YP.unify(arg1, Atom.a("beigemischt")):
    yield False
  for l1 in YP.unify(arg1, Atom.a("beigemischt")):
    yield False
Work("Rotwein ist violett?",Len=4) 
        
c2ist(Atom.a("rotwein"),Atom.a("violett"),Xirgend0)
True
c2ist(Atom.a("rotwein"),Atom.a("violett"),Xirgend0)
True