> That is, if you have "A implies B, and B implies C, and C implies D, then A implies D". The problem is that in "the real world" there are enough slight differ

> That is, if you have "A implies B, and B implies C, and C implies D, then A implies D". The problem is that in "the real world" there are enough slight differences at each step that most people feel that A does not imply D. So you just got it wrong and A does not imply D. Obviously logic applies to the world outside math and computer science. This is by no means settled legally either.