この結び方は飲み易くない
fact1: その確定コマンドボタンは連想し易い fact2: 「「号数だ」ということは誤っているということはない」物はある fact3: 物狂おしいものは客観的総体性である fact4: もし仮に「「号数である」ということは確かな」ものがあればその確定コマンドボタンは物狂おしいということはない fact5: 「あるものは号数でないか走らすかもしくはどちらもだ」ということは成り立つとすれば連想し易い fact6: あの発展性は飲み易いとすれば「この結び方は飲み易い」ということは確かだ fact7: あの斑点は飲み易くない fact8: この結び方が飲み易いとしたらあの発展性は物狂おしい fact9: もしもその確定コマンドボタンが号数だとしたらそれは連想し易い fact10: もしもあの発展性が飲み易いならばこの結び方は物狂おしい fact11: もしあの斑点が連想し易くないならその確定コマンドボタンは号数でない fact12: その確定コマンドボタンは号数である fact13: もしもその確定コマンドボタンが客観的総体性でなくておまけに物狂おしくないとしたらあの斑点は物狂おしくない fact14: その時間的変化は飲み易いということはない fact15: もしもその確定コマンドボタンが号数だということはないしかつ連想し易いということはないとすればあの斑点は連想し易い fact16: もし仮になにがしかの物は号数でないがしかし走らすとしたら客観的総体性でない fact17: もしも「その確定コマンドボタンは走らさない」ということは事実ならば号数でないし連想し易くない fact18: もし「「客観的総体性だ」ということは成り立つ」ものがあるとすればあの斑点は連想し易いということはない fact19: もしもその確定コマンドボタンが結ばないとしたらそれは号数でないしその上走らす fact20: あの斑点は物狂おしくない fact21: あの保全工事が連想し易いなら飲み易いかあるいは客観的総体性でない
void -> assump1: 以下のように仮定する。「この結び方は飲み易い」ということは真実だ; fact8 & assump1 -> int1: あの発展性は物狂おしい; fact3 -> int2: あの発展性が物狂おしいとするとそれは客観的総体性だ; int1 & int2 -> int3: あの発展性は客観的総体性である; int3 -> int4: 「客観的総体性な」ものはある; int4 & fact18 -> int5: あの斑点は連想し易いということはない; int5 & fact11 -> int6: その確定コマンドボタンは号数でない; int6 & fact12 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「この結び方は飲み易い」ということは本当である
$facts$ = fact1: その確定コマンドボタンは連想し易い fact2: 「「号数だ」ということは誤っているということはない」物はある fact3: 物狂おしいものは客観的総体性である fact4: もし仮に「「号数である」ということは確かな」ものがあればその確定コマンドボタンは物狂おしいということはない fact5: 「あるものは号数でないか走らすかもしくはどちらもだ」ということは成り立つとすれば連想し易い fact6: あの発展性は飲み易いとすれば「この結び方は飲み易い」ということは確かだ fact7: あの斑点は飲み易くない fact8: この結び方が飲み易いとしたらあの発展性は物狂おしい fact9: もしもその確定コマンドボタンが号数だとしたらそれは連想し易い fact10: もしもあの発展性が飲み易いならばこの結び方は物狂おしい fact11: もしあの斑点が連想し易くないならその確定コマンドボタンは号数でない fact12: その確定コマンドボタンは号数である fact13: もしもその確定コマンドボタンが客観的総体性でなくておまけに物狂おしくないとしたらあの斑点は物狂おしくない fact14: その時間的変化は飲み易いということはない fact15: もしもその確定コマンドボタンが号数だということはないしかつ連想し易いということはないとすればあの斑点は連想し易い fact16: もし仮になにがしかの物は号数でないがしかし走らすとしたら客観的総体性でない fact17: もしも「その確定コマンドボタンは走らさない」ということは事実ならば号数でないし連想し易くない fact18: もし「「客観的総体性だ」ということは成り立つ」ものがあるとすればあの斑点は連想し易いということはない fact19: もしもその確定コマンドボタンが結ばないとしたらそれは号数でないしその上走らす fact20: あの斑点は物狂おしくない fact21: あの保全工事が連想し易いなら飲み易いかあるいは客観的総体性でない ; $hypothesis$ = この結び方は飲み易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この結び方は飲み易い」ということは真実だ; fact8 & assump1 -> int1: あの発展性は物狂おしい; fact3 -> int2: あの発展性が物狂おしいとするとそれは客観的総体性だ; int1 & int2 -> int3: あの発展性は客観的総体性である; int3 -> int4: 「客観的総体性な」ものはある; int4 & fact18 -> int5: あの斑点は連想し易いということはない; int5 & fact11 -> int6: その確定コマンドボタンは号数でない; int6 & fact12 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: その確定コマンドボタンは連想し易い
事実2: 「「号数だ」ということは誤っているということはない」物はある
事実3: 物狂おしいものは客観的総体性である
事実4: もし仮に「「号数である」ということは確かな」ものがあればその確定コマンドボタンは物狂おしいということはない
事実5: 「あるものは号数でないか走らすかもしくはどちらもだ」ということは成り立つとすれば連想し易い
事実6: あの発展性は飲み易いとすれば「この結び方は飲み易い」ということは確かだ
事実7: あの斑点は飲み易くない
事実8: この結び方が飲み易いとしたらあの発展性は物狂おしい
事実9: もしもその確定コマンドボタンが号数だとしたらそれは連想し易い
事実10: もしもあの発展性が飲み易いならばこの結び方は物狂おしい
事実11: もしあの斑点が連想し易くないならその確定コマンドボタンは号数でない
事実12: その確定コマンドボタンは号数である
事実13: もしもその確定コマンドボタンが客観的総体性でなくておまけに物狂おしくないとしたらあの斑点は物狂おしくない
事実14: その時間的変化は飲み易いということはない
事実15: もしもその確定コマンドボタンが号数だということはないしかつ連想し易いということはないとすればあの斑点は連想し易い
事実16: もし仮になにがしかの物は号数でないがしかし走らすとしたら客観的総体性でない
事実17: もしも「その確定コマンドボタンは走らさない」ということは事実ならば号数でないし連想し易くない
事実18: もし「「客観的総体性だ」ということは成り立つ」ものがあるとすればあの斑点は連想し易いということはない
事実19: もしもその確定コマンドボタンが結ばないとしたらそれは号数でないしその上走らす
事実20: あの斑点は物狂おしくない
事実21: あの保全工事が連想し易いなら飲み易いかあるいは客観的総体性でない

仮説: この結び方は飲み易くない
1. 仮定1: 以下のように仮定する。「この結び方は飲み易い」ということは真実だ
2. 事実8と仮定1から、推論1: "あの発展性は物狂おしい"が導かれる
3. 事実3から、推論2: "あの発展性が物狂おしいとするとそれは客観的総体性だ"が導かれる
4. 推論1と推論2から、推論3: "あの発展性は客観的総体性である"が導かれる
5. 推論3から、推論4: "「客観的総体性な」ものはある"が導かれる
6. 推論4と事実18から、推論5: "あの斑点は連想し易いということはない"が導かれる
7. 推論5と事実11から、推論6: "その確定コマンドボタンは号数でない"が導かれる
8. 推論6と事実12から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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