あの教頭室は滑り難いしその上反比例する
fact1: 仮にあの教頭室が運搬出来るとするとその腫瘍化は勝ち抜く fact2: もし「「勝ち抜くしまた反比例しない」ということは間違っている」ものがあればその実務的問題は反比例する fact3: その第一庁舎は勝ち抜かない fact4: もし「あるものは滑り難いかあるいは疑義照会しない」ということは成り立つということはないとすれば運搬出来る fact5: その腫瘍化は疑義照会するししかも運搬出来る fact6: もしも「なにかは反比例するがしかし疑義照会しない」ということは成り立たないなら「反比例しない」ということは成り立つ fact7: あの教頭室は勝ち抜かない fact8: あの教頭室は千九百九十九年春だ fact9: もしもあの教頭室が勝ち抜かないならばそれは反比例するし千九百九十九年春である fact10: もしも「あの教頭室は勝ち抜かない」ということは間違いでないとすれば「千九百九十九年春である」ということは正しい fact11: その腫瘍化は疑義照会する fact12: 仮にその腫瘍化が運搬出来るとするとあの教頭室は滑り難い fact13: あるものは運搬出来ないとすると「それは反比例するしまたそれは疑義照会しない」ということは事実であるということはない
fact5 -> int1: その腫瘍化は運搬出来る; int1 & fact12 -> int2: あの教頭室は滑り難い; fact9 & fact7 -> int3: あの教頭室は反比例するし千九百九十九年春だ; int3 -> int4: あの教頭室は反比例する; int2 & int4 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact12 -> int2: {C}{b}; fact9 & fact7 -> int3: ({D}{b} & {E}{b}); int3 -> int4: {D}{b}; int2 & int4 -> hypothesis;
その実務的問題は運搬出来る
fact15 -> int5: もし「その実務的問題は滑り難いか疑義照会するということはない」ということは本当でないとするとそれは運搬出来る;
$facts$ = fact1: 仮にあの教頭室が運搬出来るとするとその腫瘍化は勝ち抜く fact2: もし「「勝ち抜くしまた反比例しない」ということは間違っている」ものがあればその実務的問題は反比例する fact3: その第一庁舎は勝ち抜かない fact4: もし「あるものは滑り難いかあるいは疑義照会しない」ということは成り立つということはないとすれば運搬出来る fact5: その腫瘍化は疑義照会するししかも運搬出来る fact6: もしも「なにかは反比例するがしかし疑義照会しない」ということは成り立たないなら「反比例しない」ということは成り立つ fact7: あの教頭室は勝ち抜かない fact8: あの教頭室は千九百九十九年春だ fact9: もしもあの教頭室が勝ち抜かないならばそれは反比例するし千九百九十九年春である fact10: もしも「あの教頭室は勝ち抜かない」ということは間違いでないとすれば「千九百九十九年春である」ということは正しい fact11: その腫瘍化は疑義照会する fact12: 仮にその腫瘍化が運搬出来るとするとあの教頭室は滑り難い fact13: あるものは運搬出来ないとすると「それは反比例するしまたそれは疑義照会しない」ということは事実であるということはない ; $hypothesis$ = あの教頭室は滑り難いしその上反比例する ; $proof$ = 
fact5 -> int1: その腫瘍化は運搬出来る; int1 & fact12 -> int2: あの教頭室は滑り難い; fact9 & fact7 -> int3: あの教頭室は反比例するし千九百九十九年春だ; int3 -> int4: あの教頭室は反比例する; int2 & int4 -> hypothesis; __PROVED__
事実1: 仮にあの教頭室が運搬出来るとするとその腫瘍化は勝ち抜く
事実2: もし「「勝ち抜くしまた反比例しない」ということは間違っている」ものがあればその実務的問題は反比例する
事実3: その第一庁舎は勝ち抜かない
事実4: もし「あるものは滑り難いかあるいは疑義照会しない」ということは成り立つということはないとすれば運搬出来る
事実5: その腫瘍化は疑義照会するししかも運搬出来る
事実6: もしも「なにかは反比例するがしかし疑義照会しない」ということは成り立たないなら「反比例しない」ということは成り立つ
事実7: あの教頭室は勝ち抜かない
事実8: あの教頭室は千九百九十九年春だ
事実9: もしもあの教頭室が勝ち抜かないならばそれは反比例するし千九百九十九年春である
事実10: もしも「あの教頭室は勝ち抜かない」ということは間違いでないとすれば「千九百九十九年春である」ということは正しい
事実11: その腫瘍化は疑義照会する
事実12: 仮にその腫瘍化が運搬出来るとするとあの教頭室は滑り難い
事実13: あるものは運搬出来ないとすると「それは反比例するしまたそれは疑義照会しない」ということは事実であるということはない

仮説: あの教頭室は滑り難いしその上反比例する
1. 事実5から、推論1: "その腫瘍化は運搬出来る"が導かれる
2. 推論1と事実12から、推論2: "あの教頭室は滑り難い"が導かれる
3. 事実9と事実7から、推論3: "あの教頭室は反比例するし千九百九十九年春だ"が導かれる
4. 推論3から、推論4: "あの教頭室は反比例する"が導かれる
5. 推論2と推論4から、仮説が導かれる

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