「その原稿用紙ウィザードは引退しなくて更に起こり難くない」ということは偽である
fact1: もしこの信望がしゃくり上げないがそれが模するとしたらそれは起こり難くない fact2: 近くないものは引退しなくて起こり難くない fact3: この信望はしゃくり上げるということはないが模する fact4: もし仮になんらかの物が強制退去でないけれど出品するとしたら「起こり難いということはない」ということは本当だ fact5: もし「この信望は起こり難くない」ということは真実だとしたら「その原稿用紙ウィザードは引退しないしまた起こり難くない」ということは偽だ
fact1 & fact3 -> int1: この信望は起こり難くない; int1 & fact5 -> hypothesis;
fact1 & fact3 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis;
仮にあの外国産が強制退去でないけど出品するとしたら起こり難くない
fact6 -> hypothesis;
$facts$ = fact1: もしこの信望がしゃくり上げないがそれが模するとしたらそれは起こり難くない fact2: 近くないものは引退しなくて起こり難くない fact3: この信望はしゃくり上げるということはないが模する fact4: もし仮になんらかの物が強制退去でないけれど出品するとしたら「起こり難いということはない」ということは本当だ fact5: もし「この信望は起こり難くない」ということは真実だとしたら「その原稿用紙ウィザードは引退しないしまた起こり難くない」ということは偽だ ; $hypothesis$ = 「その原稿用紙ウィザードは引退しなくて更に起こり難くない」ということは偽である ; $proof$ = 
fact1 & fact3 -> int1: この信望は起こり難くない; int1 & fact5 -> hypothesis; __PROVED__
事実1: もしこの信望がしゃくり上げないがそれが模するとしたらそれは起こり難くない
事実2: 近くないものは引退しなくて起こり難くない
事実3: この信望はしゃくり上げるということはないが模する
事実4: もし仮になんらかの物が強制退去でないけれど出品するとしたら「起こり難いということはない」ということは本当だ
事実5: もし「この信望は起こり難くない」ということは真実だとしたら「その原稿用紙ウィザードは引退しないしまた起こり難くない」ということは偽だ

仮説: 「その原稿用紙ウィザードは引退しなくて更に起こり難くない」ということは偽である
1. 事実1と事実3から、推論1: "この信望は起こり難くない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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