全ての男はAVを見る→緑仙はAVを見ない→緑仙は男ではない
これが三段論法や