myRule(acceptable(adrian), [all_like(adrian), easy_to_remember(adrian)]).
myRule(easy_to_remember(adrian), [short(adrian)]).
myRule(some_dislike(adrian), [mom_hates(adrian)]).
myRule(some_dislike(adrian), [dad_hates(adrian)]).
myRule(dad_hates(adrian), [too_commom(adrian)]).
myRule(dad_hates(adrian), [uncle_has(adrian)]).
myRule(mom_not_hate(adrian), [mom_said_ok(adrian)]).
myRule(mom_said_ok(adrian), []).
myRule(short(adrian), []).

myAsm(all_like(adrian)).
myAsm(mom_hates(adrian)).

contrary(all_like(adrian),some_dislike(adrian)).
contrary(mom_hates(adrian),mom_not_hate(adrian)).

toBeProved([acceptable(adrian)]).

resultingDefenseSets([[all_like(adrian)]]).