... then Z is not and when W is not in, then Z ... if there are 3 groups or more, you can't ... a biconditional rule, it does not matter which side you negate ... it as /WZ or negate the Z and not the W. As ... it easier to see the "or" and "not both" inferences with other rules ...