by ohthatpatrick Mon Nov 27, 2017 2:41 am
Yes, your arrangement was legal.
Your scenario was also compatible with the rule
if N is out, K is in.
In your scenario, N was out and K was in.
I'm confused. I thought you were saying, "If that rule were true, wouldn't my (valid) scenario be considered wrong?"
The rule is true, and your scenario is valid.
But to answer your first question,
"how do we know that when N is out, K is in"
that's what rule 1 gives us.
It says that we will always have one of those two IN, and one of them OUT.
If you wanted to, you could derive four conditionals from that:
If K is in, then N is out.
If N is in, then K is out.
If K is out, then N is in.
If N is out, then K is in.