nodes
{
  zaver { (logical, and, goal ) }
  notzaver { (logical, not, goal ) }
  predpoklad1 { (bayesian, 0.5) retriever (wincf) }
  predpoklad2 { (bayesian, 0.5) retriever (wincf) }
}

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