member(p(p(v,a),a),b)=true, member(v,a)=true, member(p(v,a),b)=true, member(p(v,b),a)=true, member(p(p(v,b),b),a)=true, member(v,b)=true, member(p(p(p(v,b),b),b),a)=true, member(p(p(p(v,b),b),b),a)=true, member(p(p(p(v,a),a),a),b)=true