%%%% DEFEATING REBUTTAL %%%% % formula for defeating rebuttal check checkDefeatingrebuttal(imp(XF,neg(YF))) :- selected2(X), selected1(Y), as(X,claim,XF), as(Y,claim,YF). subformula(X) :- checkDefeatingrebuttal(X). % guess variable assignments for defeating rebuttal check true(drebuttal,X) | false(drebuttal,X) :- atom(X). attack :- ismodel(drebuttal,X), checkDefeatingrebuttal(X).