(2) Die gesetzliche Zensur von Kinder- und Hardcore-Pornografie
    wird die Rezeption von Kinder- und Hardcore-Pornografie nicht
    verringern.
    // non Ga
    //  a: Kinder- und Hardcore-Pornografie
    //  G#: gesetzliche Zensur von # verringert die Rezeption von #
(3) Die gesetzliche Zensur von Kinder- und Hardcore-Pornografie
    führt nur dann dazu, dass ein Schutz vor Subversion besteht,
    wenn sie Rezeption von Kinder- und Hardcore-Pornografie
    verringert.
--
Folgt mit Modus tollens aus (2) und (3)
--
(4) Die gesetzliche Zensur von Kinder- und Hardcore-Pornografie
    führt nicht dazu, dass ein Schutz vor Subversion besteht.
(5) Die gesetzliche Zensur von *x* hat höchstens dann Auswirkungen
    auf die Produktion von *x*, wenn sie die Rezeption *x*
    verringert.
    // (Für alle x:) Fx -> Gx 
    //  F#: gesetzliche Zensur von # verringert die Produktion von #
(6) Die gesetzliche Zensur von Kinder- und Hardcore-Pornografie
    führt nur dann dazu, dass ein Schutz vor Ausbeutung besteht,
    wenn sie die Produktion von Pornographie verringert.
    // Ha -> Fa
    //  H#: # führt dazu, dass Kinder sowie junge Frauen und Männer vor der Ausbeutung durch Pornografen geschützt werden
--
Folgt aus (2), (5) und (6) mit Allspezialisierung und 2-mal Modus tollens
--
(7) Die gesetzliche Zensur von Kinder- und Hardcore-Pornografie
    führt nicht dazu, dass ein Schutz vor Ausbeutung besteht.
    // non Ha
(8) Wenn etwas nicht dazu führt, dass *p*, und etwas nicht dazu
    führt, dass *q*, dann führt es nicht dazu, dass beides gilt,
    *p* und *q*. 
--
Folgt aus (4), (7) und (8) mit Allspezialisierung und Modus ponens
--
(9) Es ist nicht der Fall, dass die gesetzliche Zensur von Kinder-
    und Hardcore-Pornografie dazu führt, dass ein Schutz vor
    Ausbeutung und ein Schutz vor Subversion besteht.