... If F is in, G can be out or in. This is ... our contrapositive already gives us one of the possibilities when ...
Now lets take a look at G: we already know what ... is out? F can be whatever it wants to be, our rules ... t trigger anythings, so F can be in or out. Our ...