「この現役兵は愚痴るがしかし切れ易いということはない」ということは間違っている
fact1: 「あの風俗画報は幼けないということはない一方で制す」ということは成り立たない fact2: 仮に「あの風俗画報は幼けなくない一方でそれは制す」ということは事実でないとすれば愚痴る fact3: もし仮に「あの風俗画報は愚痴る」ということは正しいなら「この現役兵は愚痴るけど切れ易くない」ということは間違いだ
fact2 & fact1 -> int1: あの風俗画報は愚痴る; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「あの風俗画報は幼けないということはない一方で制す」ということは成り立たない fact2: 仮に「あの風俗画報は幼けなくない一方でそれは制す」ということは事実でないとすれば愚痴る fact3: もし仮に「あの風俗画報は愚痴る」ということは正しいなら「この現役兵は愚痴るけど切れ易くない」ということは間違いだ ; $hypothesis$ = 「この現役兵は愚痴るがしかし切れ易いということはない」ということは間違っている ; $proof$ = 
fact2 & fact1 -> int1: あの風俗画報は愚痴る; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「あの風俗画報は幼けないということはない一方で制す」ということは成り立たない
事実2: 仮に「あの風俗画報は幼けなくない一方でそれは制す」ということは事実でないとすれば愚痴る
事実3: もし仮に「あの風俗画報は愚痴る」ということは正しいなら「この現役兵は愚痴るけど切れ易くない」ということは間違いだ

仮説: 「この現役兵は愚痴るがしかし切れ易いということはない」ということは間違っている
1. 事実2と事実1から、推論1: "あの風俗画報は愚痴る"が導かれる
2. 推論1と事実3から、仮説が導かれる

よって、仮説が証明されました。