net
{
  defretr(prob, dbprob)
  setparam(idbtxtrelcomma, dbdn.txt)
  setparam(dbrecord, t2)
}

nodes
{
  zaver { (logical, and, goal ) }
  notzaver { (logical, not, goal ) }
  predpoklad1 { (bayesian, 0.5) retriever (prob, dnprob) }
  predpoklad2 { (bayesian, 0.5) retriever (prob, dnprob) }
  zaver_or { (logical, or, goal ) }
}

rules
{
 { predpoklad1, zaver }
 { predpoklad2, zaver }
 { predpoklad1, zaver_or }
 { predpoklad2, zaver_or }
 { zaver, notzaver }
}