die Deduktion

Seine Deduktion war formal schlüssig; strittig blieb allerdings, ob die allgemeine Regel, von der er ausging, überhaupt zutraf.

His deduction was formally valid; what remained disputed, however, was whether the general rule he started from actually held true.