あの書記長は消去出来る
fact1: 仮に「「後らしいし突き出す」ということは成り立たない」物はあるとすれば「あの書記長は消去出来る」ということは確かである fact2: 「その質問数は集め易くなくて緩み易くない」ということは成り立つということはない fact3: もし仮にこのＡ〜Ｄはスポーツマンらしくないなら「あのフリーウェアが平たいしその上それは勒す」ということは真実だ fact4: 何らかの物が突き出さないならそれは卑しくてかつ後らしい fact5: 仮に「その質問数が集め易くないしその上緩み易いということはない」ということは偽であるとするとこのＡ〜Ｄはスポーツマンらしくない fact6: もし仮にそのわいがやは卑しくないなら「この大学院大学は後らしいしまた突き出す」ということは誤りだ fact7: そのわいがやは幹線であるし加えてそれは実質的内容だ fact8: もしこの大学院大学が卑しいしその上後らしいならばあのわいがやは後らしくない fact9: 平たいものは突き出す fact10: 仮にそのわいがやが幹線であるし加えてそれが実質的内容だとすると卑しいということはない
fact10 & fact7 -> int1: そのわいがやは卑しくない; int1 & fact6 -> int2: 「この大学院大学は後らしいしそれは突き出す」ということは事実と異なる; int2 -> int3: 「「後らしいし突き出す」ということは嘘な」物はある; int3 & fact1 -> hypothesis;
あの書記長は消去出来ない
fact15 -> int4: この大学院大学が突き出すということはないとしたらそれは卑しくてそれは後らしい; fact12 -> int5: もしあのフリーウェアが平たいならそれは突き出す; fact14 & fact13 -> int6: このＡ〜Ｄはスポーツマンらしくない; fact11 & int6 -> int7: あのフリーウェアは平たいしおまけに勒す; int7 -> int8: あのフリーウェアは平たい; int5 & int8 -> int9: あのフリーウェアは突き出す;
$facts$ = fact1: 仮に「「後らしいし突き出す」ということは成り立たない」物はあるとすれば「あの書記長は消去出来る」ということは確かである fact2: 「その質問数は集め易くなくて緩み易くない」ということは成り立つということはない fact3: もし仮にこのＡ〜Ｄはスポーツマンらしくないなら「あのフリーウェアが平たいしその上それは勒す」ということは真実だ fact4: 何らかの物が突き出さないならそれは卑しくてかつ後らしい fact5: 仮に「その質問数が集め易くないしその上緩み易いということはない」ということは偽であるとするとこのＡ〜Ｄはスポーツマンらしくない fact6: もし仮にそのわいがやは卑しくないなら「この大学院大学は後らしいしまた突き出す」ということは誤りだ fact7: そのわいがやは幹線であるし加えてそれは実質的内容だ fact8: もしこの大学院大学が卑しいしその上後らしいならばあのわいがやは後らしくない fact9: 平たいものは突き出す fact10: 仮にそのわいがやが幹線であるし加えてそれが実質的内容だとすると卑しいということはない ; $hypothesis$ = あの書記長は消去出来る ; $proof$ = 
fact10 & fact7 -> int1: そのわいがやは卑しくない; int1 & fact6 -> int2: 「この大学院大学は後らしいしそれは突き出す」ということは事実と異なる; int2 -> int3: 「「後らしいし突き出す」ということは嘘な」物はある; int3 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「「後らしいし突き出す」ということは成り立たない」物はあるとすれば「あの書記長は消去出来る」ということは確かである
事実2: 「その質問数は集め易くなくて緩み易くない」ということは成り立つということはない
事実3: もし仮にこのＡ〜Ｄはスポーツマンらしくないなら「あのフリーウェアが平たいしその上それは勒す」ということは真実だ
事実4: 何らかの物が突き出さないならそれは卑しくてかつ後らしい
事実5: 仮に「その質問数が集め易くないしその上緩み易いということはない」ということは偽であるとするとこのＡ〜Ｄはスポーツマンらしくない
事実6: もし仮にそのわいがやは卑しくないなら「この大学院大学は後らしいしまた突き出す」ということは誤りだ
事実7: そのわいがやは幹線であるし加えてそれは実質的内容だ
事実8: もしこの大学院大学が卑しいしその上後らしいならばあのわいがやは後らしくない
事実9: 平たいものは突き出す
事実10: 仮にそのわいがやが幹線であるし加えてそれが実質的内容だとすると卑しいということはない

仮説: あの書記長は消去出来る
1. 事実10と事実7から、推論1: "そのわいがやは卑しくない"が導かれる
2. 推論1と事実6から、推論2: "「この大学院大学は後らしいしそれは突き出す」ということは事実と異なる"が導かれる
3. 推論2から、推論3: "「「後らしいし突き出す」ということは嘘な」物はある"が導かれる
4. 推論3と事実1から、仮説が導かれる

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