This is all completely made-up and doesn't mean anything rather than giving somewhat "interesting" notions for "A", "B", and characteristics of "A" and "B". Admittedly, your sentence sounds a bit more interesting than

If A :== B and all B are x, then A is x as well

From capitalisation, it is clear that "Knirks" is a substantive and from the ending "-isch" we can assume an adjective nature of "wipstrisch".

Think of supercalifragilisticexpialidocious (from "Mary Poppins"), which doesn't mean anything as well, and just sounds somewhat funny.

This is all completely made-up and doesn't mean anything rather than giving somewhat "interesting" notions for "A", "B", and characteristics of "A" and "B". Admittedly, your sentence sounds a bit more interesting than

If A is an instance of B and all B are x, then A is x as well

From capitalisation, it is clear that "Knirks" is a substantive and from the ending "-isch" we can assume an adjective nature of "wipstrisch".

Think of supercalifragilisticexpialidocious (from "Mary Poppins"), which doesn't mean anything as well, and just sounds somewhat funny.