169Nun untersucht man zuerst die gehäuft auftretenden Transformationen der einzelnenStellen im Detail, wobei die Steckerverbindungen noch unbekannt sind:1-1-1(D WID)-1SStelle1S1-1D WIDUC1A B C D E F G H I J K L MN O P Q R S T U V WXY ZV X F Z C E O U Y A D B J L S G WR K Q H MP N I TA B C D E F G HI J K L MN O P Q R S T U V WX Y ZA B C D E F G HI J K L MN O P Q R S T U V WX Y ZF V R N MA Y WL S O I E D K U X C J Z P B H Q G TA B C D E F G H I J KL MN O P Q R S T U V WX Y ZA B C D E F G H I J KL MN O P Q R S T U V WX Y ZJ L E K F C P U Y MS N V X G WT R O Z H A Q B I DA B C D E F G H I J K L MN O P Q R S T U V WXY ZL T J Z R V S WP C X A O Y M I U E G B Q F H K N DUntersucht man auch die Transformationen von Y bei den anderen Ausdrücken vonUCergibt sich folgende Tabelle:UC1Y Walze I Stecker I Stelle L Stecker L Walze NUC2Y Walze S Stecker S Stelle R Stecker R Walze NUC3Y Walze T Stecker T Stelle B Stecker B Walze IUC4Y Walze U Stecker U Stelle T Stecker T Walze NUC5Y Walze B Stecker B Stelle Q Stecker Q Walze DUC6Y Walze U Stecker U Stelle F Stecker F Walze NFür die Transformationen Y auf N ergeben sich folgende Schlussfolgerungen:(IL) ist entweder ein Steckerpaar oder I und L sind ungesteckt.(RS) ist entweder ein Steckerpaar oder R und S sind ungesteckt.(TU) ist entweder ein Steckerpaar oder T und U sind ungesteckt.(FU) ist entweder ein Steckerpaar oder F und U sind ungesteckt.Da die letzten beiden Bedingungen für den Fall eines Steckerpaares aber einenWiderspruch erzeugen, ergibt sich die konsistente Bedingung:F, T und U sind ungesteckt.