In a lecture I attented about "Aussagenlogik" there was the following sentence:
Wenn Otto ein Knirks ist und alle Knirkse wipstrisch sind, dann ist Otto wipstrisch.
I guess "Knirks" and "wipstrisch" are made-up in order to denote the insignificance of what Otto is and what the likes of him are.
Is there a hidden meaning/pun behind these words? Is this a popular phrase/words when talking abstractly?
They both look like real German words and the professor said the sentence like it wasn't supposed to be anything new/strange to the audience.