その絶対真理はちらつき始める
fact1: もしその絶対真理は信用すらないとすると「発散するし更にそれは予習しない」ということは成り立たない fact2: もしこの死病が言い出せるとするとそれはちらつき始めるということはない fact3: 仮になにかは信用すとするとぶらぶらする fact4: 仮になにかは信用すらないなら「発散するがしかし予習するということはない」ということは偽だ fact5: その絶対真理は対照しないとしたら「しょっぱくないしまた言い出せらない」ということは事実と異なる fact6: その絶対真理は信用すらないなら「発散しないけど予習する」ということは成り立たない fact7: 「その絶対真理は売人でないしそれにそれはぶらぶらしない」ということは間違っている fact8: もしも「信用すらない」ものがあるとしたらこの死病は言い出せるかもしくは信用すらないか両方だ fact9: なんらかのものは信用すらないとすれば「それは発散しなくてまたそれは予習する」ということは事実と異なる fact10: この訓仮名出自字体は馳せるということはない fact11: 仮にその絶対真理はぶらぶらすれば「それは言い出せる」ということは間違いでない fact12: この訓仮名出自字体は馳せないとしたら「ちらつき始めるし考え辛い」ということは誤りでない fact13: この牧畜は予習するとすれば「一直線上だ」ということは正しい fact14: その絶対真理は発散しないし予習するということはない fact15: この訓仮名出自字体は信用すらないけど考え辛い fact16: 「このズックは予習する」ということは真実である fact17: 「その絶対真理は発散するけど予習しない」ということは本当でない fact18: もしこの死病が信用すとするとあの電源ボタンは信用す fact19: もし仮にとあるものは信用すらないとすれば「それは発散しなくてまたそれは予習しない」ということは成り立たない fact20: もしその絶対真理は言い出せるなら「ちらつき始める」ということは真実だ fact21: 「その絶対真理は発散しないけれどそれは予習する」ということは間違っている fact22: その八十パーセント以上は迷い難くなくて他愛無いということはない
fact19 -> int1: その絶対真理は信用すということはないならば「発散しないしさらに予習しない」ということは成り立つということはない; void -> assump1: 以下のように仮定する。その絶対真理は信用すらない; int1 & assump1 -> int2: 「その絶対真理は発散しないし更に予習しない」ということは誤っている; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> int4: その絶対真理は信用す; fact3 -> int5: 仮にその絶対真理が信用すとしたらぶらぶらする; int4 & int5 -> int6: その絶対真理はぶらぶらする; int6 & fact11 -> int7: その絶対真理は言い出せる; int7 & fact20 -> hypothesis;
あの電源ボタンは言い出せる
fact24 & fact23 -> int8: この訓仮名出自字体はちらつき始めるししかも考え辛い; int8 -> int9: この訓仮名出自字体はちらつき始める; int9 -> int10: 「ちらつき始める」物はある;
$facts$ = fact1: もしその絶対真理は信用すらないとすると「発散するし更にそれは予習しない」ということは成り立たない fact2: もしこの死病が言い出せるとするとそれはちらつき始めるということはない fact3: 仮になにかは信用すとするとぶらぶらする fact4: 仮になにかは信用すらないなら「発散するがしかし予習するということはない」ということは偽だ fact5: その絶対真理は対照しないとしたら「しょっぱくないしまた言い出せらない」ということは事実と異なる fact6: その絶対真理は信用すらないなら「発散しないけど予習する」ということは成り立たない fact7: 「その絶対真理は売人でないしそれにそれはぶらぶらしない」ということは間違っている fact8: もしも「信用すらない」ものがあるとしたらこの死病は言い出せるかもしくは信用すらないか両方だ fact9: なんらかのものは信用すらないとすれば「それは発散しなくてまたそれは予習する」ということは事実と異なる fact10: この訓仮名出自字体は馳せるということはない fact11: 仮にその絶対真理はぶらぶらすれば「それは言い出せる」ということは間違いでない fact12: この訓仮名出自字体は馳せないとしたら「ちらつき始めるし考え辛い」ということは誤りでない fact13: この牧畜は予習するとすれば「一直線上だ」ということは正しい fact14: その絶対真理は発散しないし予習するということはない fact15: この訓仮名出自字体は信用すらないけど考え辛い fact16: 「このズックは予習する」ということは真実である fact17: 「その絶対真理は発散するけど予習しない」ということは本当でない fact18: もしこの死病が信用すとするとあの電源ボタンは信用す fact19: もし仮にとあるものは信用すらないとすれば「それは発散しなくてまたそれは予習しない」ということは成り立たない fact20: もしその絶対真理は言い出せるなら「ちらつき始める」ということは真実だ fact21: 「その絶対真理は発散しないけれどそれは予習する」ということは間違っている fact22: その八十パーセント以上は迷い難くなくて他愛無いということはない ; $hypothesis$ = その絶対真理はちらつき始める ; $proof$ = 
fact19 -> int1: その絶対真理は信用すということはないならば「発散しないしさらに予習しない」ということは成り立つということはない; void -> assump1: 以下のように仮定する。その絶対真理は信用すらない; int1 & assump1 -> int2: 「その絶対真理は発散しないし更に予習しない」ということは誤っている; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> int4: その絶対真理は信用す; fact3 -> int5: 仮にその絶対真理が信用すとしたらぶらぶらする; int4 & int5 -> int6: その絶対真理はぶらぶらする; int6 & fact11 -> int7: その絶対真理は言い出せる; int7 & fact20 -> hypothesis; __PROVED__
事実1: もしその絶対真理は信用すらないとすると「発散するし更にそれは予習しない」ということは成り立たない
事実2: もしこの死病が言い出せるとするとそれはちらつき始めるということはない
事実3: 仮になにかは信用すとするとぶらぶらする
事実4: 仮になにかは信用すらないなら「発散するがしかし予習するということはない」ということは偽だ
事実5: その絶対真理は対照しないとしたら「しょっぱくないしまた言い出せらない」ということは事実と異なる
事実6: その絶対真理は信用すらないなら「発散しないけど予習する」ということは成り立たない
事実7: 「その絶対真理は売人でないしそれにそれはぶらぶらしない」ということは間違っている
事実8: もしも「信用すらない」ものがあるとしたらこの死病は言い出せるかもしくは信用すらないか両方だ
事実9: なんらかのものは信用すらないとすれば「それは発散しなくてまたそれは予習する」ということは事実と異なる
事実10: この訓仮名出自字体は馳せるということはない
事実11: 仮にその絶対真理はぶらぶらすれば「それは言い出せる」ということは間違いでない
事実12: この訓仮名出自字体は馳せないとしたら「ちらつき始めるし考え辛い」ということは誤りでない
事実13: この牧畜は予習するとすれば「一直線上だ」ということは正しい
事実14: その絶対真理は発散しないし予習するということはない
事実15: この訓仮名出自字体は信用すらないけど考え辛い
事実16: 「このズックは予習する」ということは真実である
事実17: 「その絶対真理は発散するけど予習しない」ということは本当でない
事実18: もしこの死病が信用すとするとあの電源ボタンは信用す
事実19: もし仮にとあるものは信用すらないとすれば「それは発散しなくてまたそれは予習しない」ということは成り立たない
事実20: もしその絶対真理は言い出せるなら「ちらつき始める」ということは真実だ
事実21: 「その絶対真理は発散しないけれどそれは予習する」ということは間違っている
事実22: その八十パーセント以上は迷い難くなくて他愛無いということはない

仮説: その絶対真理はちらつき始める
1. 事実19から、推論1: "その絶対真理は信用すということはないならば「発散しないしさらに予習しない」ということは成り立つということはない"が導かれる
2. 仮定1: 以下のように仮定する。その絶対真理は信用すらない
3. 推論1と仮定1から、推論2: "「その絶対真理は発散しないし更に予習しない」ということは誤っている"が導かれる
4. 推論2と事実14から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その絶対真理は信用す"が導かれる
6. 事実3から、推論5: "仮にその絶対真理が信用すとしたらぶらぶらする"が導かれる
7. 推論4と推論5から、推論6: "その絶対真理はぶらぶらする"が導かれる
8. 推論6と事実11から、推論7: "その絶対真理は言い出せる"が導かれる
9. 推論7と事実20から、仮説が導かれる

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