その諸方策は古い
fact1: もしもそのコミットは私しないならば「あの習熟度は変わり続けない一方ですばしこい」ということは成り立たない fact2: 「この取り引き条件は本書中でないけど会話らしい」ということは間違いだ fact3: 「あの習熟度は変わり続けるしかつすばしこい」ということは成り立つということはない fact4: もしそのコミットが自然らしいならそれは古い fact5: 仮にそのコミットが私するとしたらその諸方策はきな臭い fact6: そのコミットが変わり続けるとするとあの習熟度は私する fact7: もしあるものは私すれば「それは古くない」ということは事実である fact8: 仮にあの習熟度が変わり続けるならそれは忍耐強い fact9: 灰色っぽいものは古い fact10: あの習熟度は忍耐強くない fact11: 「もし仮にそのコミットは私しないならば「「あの習熟度は変わり続けるしおまけにそれはすばしこい」ということは事実と異ならない」ということは間違いである」ということは間違いでない fact12: 仮に「あの習熟度は変わり続けないけどすばしこい」ということは誤りだとしたら忍耐強い fact13: もしとあるものがきな臭いとするとそれは古い
void -> assump1: 以下のように仮定する。そのコミットは私するということはない; fact1 & assump1 -> int1: 「あの習熟度は変わり続けないけれどすばしこい」ということは偽である; int1 & fact12 -> int2: あの習熟度は忍耐強い; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのコミットは私する」ということは真実だ; int4 & fact5 -> int5: その諸方策はきな臭い; fact13 -> int6: もしもその諸方策がきな臭いなら古い; int5 & int6 -> hypothesis;
仮にその被抑圧階級が灰色っぽいならば古い
fact14 -> hypothesis;
$facts$ = fact1: もしもそのコミットは私しないならば「あの習熟度は変わり続けない一方ですばしこい」ということは成り立たない fact2: 「この取り引き条件は本書中でないけど会話らしい」ということは間違いだ fact3: 「あの習熟度は変わり続けるしかつすばしこい」ということは成り立つということはない fact4: もしそのコミットが自然らしいならそれは古い fact5: 仮にそのコミットが私するとしたらその諸方策はきな臭い fact6: そのコミットが変わり続けるとするとあの習熟度は私する fact7: もしあるものは私すれば「それは古くない」ということは事実である fact8: 仮にあの習熟度が変わり続けるならそれは忍耐強い fact9: 灰色っぽいものは古い fact10: あの習熟度は忍耐強くない fact11: 「もし仮にそのコミットは私しないならば「「あの習熟度は変わり続けるしおまけにそれはすばしこい」ということは事実と異ならない」ということは間違いである」ということは間違いでない fact12: 仮に「あの習熟度は変わり続けないけどすばしこい」ということは誤りだとしたら忍耐強い fact13: もしとあるものがきな臭いとするとそれは古い ; $hypothesis$ = その諸方策は古い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのコミットは私するということはない; fact1 & assump1 -> int1: 「あの習熟度は変わり続けないけれどすばしこい」ということは偽である; int1 & fact12 -> int2: あの習熟度は忍耐強い; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのコミットは私する」ということは真実だ; int4 & fact5 -> int5: その諸方策はきな臭い; fact13 -> int6: もしもその諸方策がきな臭いなら古い; int5 & int6 -> hypothesis; __PROVED__
事実1: もしもそのコミットは私しないならば「あの習熟度は変わり続けない一方ですばしこい」ということは成り立たない
事実2: 「この取り引き条件は本書中でないけど会話らしい」ということは間違いだ
事実3: 「あの習熟度は変わり続けるしかつすばしこい」ということは成り立つということはない
事実4: もしそのコミットが自然らしいならそれは古い
事実5: 仮にそのコミットが私するとしたらその諸方策はきな臭い
事実6: そのコミットが変わり続けるとするとあの習熟度は私する
事実7: もしあるものは私すれば「それは古くない」ということは事実である
事実8: 仮にあの習熟度が変わり続けるならそれは忍耐強い
事実9: 灰色っぽいものは古い
事実10: あの習熟度は忍耐強くない
事実11: 「もし仮にそのコミットは私しないならば「「あの習熟度は変わり続けるしおまけにそれはすばしこい」ということは事実と異ならない」ということは間違いである」ということは間違いでない
事実12: 仮に「あの習熟度は変わり続けないけどすばしこい」ということは誤りだとしたら忍耐強い
事実13: もしとあるものがきな臭いとするとそれは古い

仮説: その諸方策は古い
1. 仮定1: 以下のように仮定する。そのコミットは私するということはない
2. 事実1と仮定1から、推論1: "「あの習熟度は変わり続けないけれどすばしこい」ということは偽である"が導かれる
3. 推論1と事実12から、推論2: "あの習熟度は忍耐強い"が導かれる
4. 推論2と事実10から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのコミットは私する」ということは真実だ"が導かれる
6. 推論4と事実5から、推論5: "その諸方策はきな臭い"が導かれる
7. 事実13から、推論6: "もしもその諸方策がきな臭いなら古い"が導かれる
8. 推論5と推論6から、仮説が導かれる

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