 The point is that if English is defined to be the unique language with such and such semantical rules and (5) is one such rule, then it looks as though (2) would be a logical consequence of (3), so interpreted.