「そのピロールは吸い続けないがしかし啜り上げる」ということは正しい
fact1: あの知的レベルはフィーチャーしない fact2: もし「とあるものはフィーチャーするということはないがしかし訪米する」ということは嘘だとすれば「それはフィーチャーする」ということは成り立つ fact3: そのピロールはフィーチャーしない fact4: もしも「とある物は退社するということはない」ということは成り立てばそれは類数公式だということはない fact5: 仮になにがしかの物はフィーチャーするということはないとすれば「それは吸い続けるということはない」ということは事実である fact6: もしもあの鶏腿肉はたじろがないなら「訪米するし仕官する」ということは成り立たない fact7: そのピロールは吸い続けない fact8: もしもなにがしかの物がフィーチャーすれば吸い続ける fact9: 「何かは訪米するしさらに仕官する」ということは本当だということはないとするとそれは訪米しない fact10: 仮に「あの知的レベルは吸い続けない」ということは誤りでないとしたらそのピロールは吸い続けない一方で啜り上げる fact11: 「「あの知的レベルは吸い続けない」ということは真実ならそのピロールは吸い続けない」ということは成り立つ
fact5 -> int1: もしあの知的レベルがフィーチャーするということはないとしたら吸い続けるということはない; int1 & fact1 -> int2: あの知的レベルは吸い続けない; int2 & fact10 -> hypothesis;
「そのピロールは吸い続けないけどそれは啜り上げる」ということは成り立たない
fact12 -> int3: もしも「あの鶏腿肉は訪米するし仕官する」ということは偽であるとしたら訪米しない;
$facts$ = fact1: あの知的レベルはフィーチャーしない fact2: もし「とあるものはフィーチャーするということはないがしかし訪米する」ということは嘘だとすれば「それはフィーチャーする」ということは成り立つ fact3: そのピロールはフィーチャーしない fact4: もしも「とある物は退社するということはない」ということは成り立てばそれは類数公式だということはない fact5: 仮になにがしかの物はフィーチャーするということはないとすれば「それは吸い続けるということはない」ということは事実である fact6: もしもあの鶏腿肉はたじろがないなら「訪米するし仕官する」ということは成り立たない fact7: そのピロールは吸い続けない fact8: もしもなにがしかの物がフィーチャーすれば吸い続ける fact9: 「何かは訪米するしさらに仕官する」ということは本当だということはないとするとそれは訪米しない fact10: 仮に「あの知的レベルは吸い続けない」ということは誤りでないとしたらそのピロールは吸い続けない一方で啜り上げる fact11: 「「あの知的レベルは吸い続けない」ということは真実ならそのピロールは吸い続けない」ということは成り立つ ; $hypothesis$ = 「そのピロールは吸い続けないがしかし啜り上げる」ということは正しい ; $proof$ = 
fact5 -> int1: もしあの知的レベルがフィーチャーするということはないとしたら吸い続けるということはない; int1 & fact1 -> int2: あの知的レベルは吸い続けない; int2 & fact10 -> hypothesis; __PROVED__
事実1: あの知的レベルはフィーチャーしない
事実2: もし「とあるものはフィーチャーするということはないがしかし訪米する」ということは嘘だとすれば「それはフィーチャーする」ということは成り立つ
事実3: そのピロールはフィーチャーしない
事実4: もしも「とある物は退社するということはない」ということは成り立てばそれは類数公式だということはない
事実5: 仮になにがしかの物はフィーチャーするということはないとすれば「それは吸い続けるということはない」ということは事実である
事実6: もしもあの鶏腿肉はたじろがないなら「訪米するし仕官する」ということは成り立たない
事実7: そのピロールは吸い続けない
事実8: もしもなにがしかの物がフィーチャーすれば吸い続ける
事実9: 「何かは訪米するしさらに仕官する」ということは本当だということはないとするとそれは訪米しない
事実10: 仮に「あの知的レベルは吸い続けない」ということは誤りでないとしたらそのピロールは吸い続けない一方で啜り上げる
事実11: 「「あの知的レベルは吸い続けない」ということは真実ならそのピロールは吸い続けない」ということは成り立つ

仮説: 「そのピロールは吸い続けないがしかし啜り上げる」ということは正しい
1. 事実5から、推論1: "もしあの知的レベルがフィーチャーするということはないとしたら吸い続けるということはない"が導かれる
2. 推論1と事実1から、推論2: "あの知的レベルは吸い続けない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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