%%%% STRONG REBUTTAL %%%% % formula for strong rebuttal check checkStrongrebuttal(imp(and(XF,YF),c(f))) :- selected2(X), selected1(Y), support(X,XF), support(Y,YF). subformula(X) :- checkStrongrebuttal(X). % guess variable assignments for strong rebuttal check true(srebuttal,X) | false(srebuttal,X) :- atom(X). attack :- ismodel(srebuttal,X), checkStrongrebuttal(X).