あの老齢は勃起である
fact1: 「あのＲ初段はアップルスクリプトであるがそれは失速しない」ということは成り立たない fact2: 「その流れ図は勃起だ」ということは成り立つ fact3: 仮に「「失速するし近付き難くない」ということは偽な」物があるとしたらあの老齢はアップルスクリプトである fact4: あのＲ初段は三ヘクタール以下だ fact5: あの老齢は覚束無い fact6: もし仮に「あのＲ初段は失速する」ということは事実であるとしたらその治警法は平衡砂である fact7: 「「失速するし更に近付き難い」ということは成り立たない」物はある fact8: 「あのＲ初段は失速するしおまけに近付き難い」ということは嘘だ fact9: もし仮にその治警法は失速するなら「あのＲ初段は厚かましい」ということは事実である fact10: 「あのＲ初段は勃起だ一方で近付き難くない」ということは確かでない fact11: あの老齢はアップルスクリプトであるし加えてカスタム機能であるなら勃起でない fact12: あのポリゴンメッシュは聞き取り易くてそれにアップルスクリプトだ fact13: あのＲ初段は平衡砂でないとしたら「それは失速するしそれに近付き難くない」ということは真実だということはない fact14: 「あのＲ初段が勃起だけど失速しない」ということは成り立たない fact15: あのＲ初段は平衡砂だということはないとすると「それは失速するししかも近付き難い」ということは真実でない fact16: あの老齢は厚かましくて入れ易い fact17: あの無地はアップルスクリプトである fact18: あの老齢はカスタム機能である fact19: 仮にあのＲ初段は平衡砂であるならば「その治警法は厚かましい」ということは正しい fact20: 「近付き難い」物があるとしたらあの老齢はアップルスクリプトだ fact21: その治警法はアップルスクリプトだ fact22: その治警法はカスタム機能でない fact23: その治警法は厚かましくない fact24: 「失速するがしかし近付き難くない」ものはある
void -> assump1: 以下のように仮定する。あのＲ初段は平衡砂だ; fact19 & assump1 -> int1: その治警法は厚かましい; int1 & fact23 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのＲ初段は平衡砂だということはない」ということは本当だ; int3 & fact13 -> int4: 「あのＲ初段は失速する一方で近付き難くない」ということは偽である; int4 -> int5: 「「失速するが近付き難くない」ということは誤っている」物はある; int5 & fact3 -> int6: 「あの老齢はアップルスクリプトだ」ということは事実である; int6 & fact18 -> int7: あの老齢はアップルスクリプトだし加えてそれはカスタム機能だ; int7 & fact11 -> hypothesis;
$facts$ = fact1: 「あのＲ初段はアップルスクリプトであるがそれは失速しない」ということは成り立たない fact2: 「その流れ図は勃起だ」ということは成り立つ fact3: 仮に「「失速するし近付き難くない」ということは偽な」物があるとしたらあの老齢はアップルスクリプトである fact4: あのＲ初段は三ヘクタール以下だ fact5: あの老齢は覚束無い fact6: もし仮に「あのＲ初段は失速する」ということは事実であるとしたらその治警法は平衡砂である fact7: 「「失速するし更に近付き難い」ということは成り立たない」物はある fact8: 「あのＲ初段は失速するしおまけに近付き難い」ということは嘘だ fact9: もし仮にその治警法は失速するなら「あのＲ初段は厚かましい」ということは事実である fact10: 「あのＲ初段は勃起だ一方で近付き難くない」ということは確かでない fact11: あの老齢はアップルスクリプトであるし加えてカスタム機能であるなら勃起でない fact12: あのポリゴンメッシュは聞き取り易くてそれにアップルスクリプトだ fact13: あのＲ初段は平衡砂でないとしたら「それは失速するしそれに近付き難くない」ということは真実だということはない fact14: 「あのＲ初段が勃起だけど失速しない」ということは成り立たない fact15: あのＲ初段は平衡砂だということはないとすると「それは失速するししかも近付き難い」ということは真実でない fact16: あの老齢は厚かましくて入れ易い fact17: あの無地はアップルスクリプトである fact18: あの老齢はカスタム機能である fact19: 仮にあのＲ初段は平衡砂であるならば「その治警法は厚かましい」ということは正しい fact20: 「近付き難い」物があるとしたらあの老齢はアップルスクリプトだ fact21: その治警法はアップルスクリプトだ fact22: その治警法はカスタム機能でない fact23: その治警法は厚かましくない fact24: 「失速するがしかし近付き難くない」ものはある ; $hypothesis$ = あの老齢は勃起である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＲ初段は平衡砂だ; fact19 & assump1 -> int1: その治警法は厚かましい; int1 & fact23 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのＲ初段は平衡砂だということはない」ということは本当だ; int3 & fact13 -> int4: 「あのＲ初段は失速する一方で近付き難くない」ということは偽である; int4 -> int5: 「「失速するが近付き難くない」ということは誤っている」物はある; int5 & fact3 -> int6: 「あの老齢はアップルスクリプトだ」ということは事実である; int6 & fact18 -> int7: あの老齢はアップルスクリプトだし加えてそれはカスタム機能だ; int7 & fact11 -> hypothesis; __DISPROVED__
事実1: 「あのＲ初段はアップルスクリプトであるがそれは失速しない」ということは成り立たない
事実2: 「その流れ図は勃起だ」ということは成り立つ
事実3: 仮に「「失速するし近付き難くない」ということは偽な」物があるとしたらあの老齢はアップルスクリプトである
事実4: あのＲ初段は三ヘクタール以下だ
事実5: あの老齢は覚束無い
事実6: もし仮に「あのＲ初段は失速する」ということは事実であるとしたらその治警法は平衡砂である
事実7: 「「失速するし更に近付き難い」ということは成り立たない」物はある
事実8: 「あのＲ初段は失速するしおまけに近付き難い」ということは嘘だ
事実9: もし仮にその治警法は失速するなら「あのＲ初段は厚かましい」ということは事実である
事実10: 「あのＲ初段は勃起だ一方で近付き難くない」ということは確かでない
事実11: あの老齢はアップルスクリプトであるし加えてカスタム機能であるなら勃起でない
事実12: あのポリゴンメッシュは聞き取り易くてそれにアップルスクリプトだ
事実13: あのＲ初段は平衡砂でないとしたら「それは失速するしそれに近付き難くない」ということは真実だということはない
事実14: 「あのＲ初段が勃起だけど失速しない」ということは成り立たない
事実15: あのＲ初段は平衡砂だということはないとすると「それは失速するししかも近付き難い」ということは真実でない
事実16: あの老齢は厚かましくて入れ易い
事実17: あの無地はアップルスクリプトである
事実18: あの老齢はカスタム機能である
事実19: 仮にあのＲ初段は平衡砂であるならば「その治警法は厚かましい」ということは正しい
事実20: 「近付き難い」物があるとしたらあの老齢はアップルスクリプトだ
事実21: その治警法はアップルスクリプトだ
事実22: その治警法はカスタム機能でない
事実23: その治警法は厚かましくない
事実24: 「失速するがしかし近付き難くない」ものはある

仮説: あの老齢は勃起である
1. 仮定1: 以下のように仮定する。あのＲ初段は平衡砂だ
2. 事実19と仮定1から、推論1: "その治警法は厚かましい"が導かれる
3. 推論1と事実23から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あのＲ初段は平衡砂だということはない」ということは本当だ"が導かれる
5. 推論3と事実13から、推論4: "「あのＲ初段は失速する一方で近付き難くない」ということは偽である"が導かれる
6. 推論4から、推論5: "「「失速するが近付き難くない」ということは誤っている」物はある"が導かれる
7. 推論5と事実3から、推論6: "「あの老齢はアップルスクリプトだ」ということは事実である"が導かれる
8. 推論6と事実18から、推論7: "あの老齢はアップルスクリプトだし加えてそれはカスタム機能だ"が導かれる
9. 推論7と事実11から、仮説が否定される

よって、仮説が否定されました。