זונדה. Resolution refutation in propositional logic example. Kafé de kasa restaurant menu. Qq R.