この平場は差し伸ばさないけれど弾ける
fact1: もしこの平場が差し伸ばすとしたらこのスクリプトイングは弾ける fact2: もしその無声が腰掛けるとするとこの連結法人間は頑是無い fact3: もしもあの地方空港が信仰箇条であるならばその無声は講和問題である fact4: この平場が講和問題であるならその無声は弾ける fact5: 全ての物はかったるくなくてそれに辛いということはない fact6: あの舎弟は通じるししかも許し難い fact7: もしこの連結法人間が腰掛ければその無声はかったるい fact8: もしもその無声が腰掛けるしまた講和問題であるとしたらこのスクリプトイングは差し伸ばさない fact9: 「この連結法人間は差し伸ばさない一方でかったるい」ということは間違っている fact10: もしかったるいということはない物が辛いということはないならばこの倍量は入れ上げる fact11: その急角度は楽しないしそれは第七中隊だということはない fact12: もしもその無声は講和問題でないとすると「この連結法人間は講和問題でないけれど辛い」ということは本当だということはない fact13: この連結法人間が腰掛ければその無声は辛い fact14: この連結法人間は入れ上げない fact15: 「このスクリプトイングは頑是無くないが楽し」ということは本当でない fact16: あらゆる物は尊しない fact17: その無声は腰掛けるし加えて頑是無い fact18: 「全てのものは混入し易くない」ということは真実である fact19: 仮に講和問題は信仰箇条でないならばそれは入れ上げない fact20: あらゆるものは警備員でない fact21: 仮にこのスクリプトイングは差し伸ばさないとすれば「この平場は差し伸ばさないけどそれは弾ける」ということは成り立たない fact22: もし仮にこの倍量が入れ上げるならばあの地方空港は信仰箇条だ
fact5 -> int1: この連結法人間はかったるくないし辛くない; int1 -> int2: かったるくないしさらに辛くない物はある; int2 & fact10 -> int3: この倍量は入れ上げる; int3 & fact22 -> int4: あの地方空港は信仰箇条だ; int4 & fact3 -> int5: その無声は講和問題である; fact17 -> int6: その無声は腰掛ける; int5 & int6 -> int7: その無声は腰掛けるしそれは講和問題だ; int7 & fact8 -> int8: このスクリプトイングは差し伸ばさない; int8 & fact21 -> hypothesis;
その無声は見辛い
fact23 -> int9: あの地方空港は講和問題だ一方で信仰箇条でないとすればそれは入れ上げない;
$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$ = 
fact5 -> int1: この連結法人間はかったるくないし辛くない; int1 -> int2: かったるくないしさらに辛くない物はある; int2 & fact10 -> int3: この倍量は入れ上げる; int3 & fact22 -> int4: あの地方空港は信仰箇条だ; int4 & fact3 -> int5: その無声は講和問題である; fact17 -> int6: その無声は腰掛ける; int5 & int6 -> int7: その無声は腰掛けるしそれは講和問題だ; int7 & fact8 -> int8: このスクリプトイングは差し伸ばさない; int8 & fact21 -> hypothesis; __DISPROVED__
事実1: もしこの平場が差し伸ばすとしたらこのスクリプトイングは弾ける
事実2: もしその無声が腰掛けるとするとこの連結法人間は頑是無い
事実3: もしもあの地方空港が信仰箇条であるならばその無声は講和問題である
事実4: この平場が講和問題であるならその無声は弾ける
事実5: 全ての物はかったるくなくてそれに辛いということはない
事実6: あの舎弟は通じるししかも許し難い
事実7: もしこの連結法人間が腰掛ければその無声はかったるい
事実8: もしもその無声が腰掛けるしまた講和問題であるとしたらこのスクリプトイングは差し伸ばさない
事実9: 「この連結法人間は差し伸ばさない一方でかったるい」ということは間違っている
事実10: もしかったるいということはない物が辛いということはないならばこの倍量は入れ上げる
事実11: その急角度は楽しないしそれは第七中隊だということはない
事実12: もしもその無声は講和問題でないとすると「この連結法人間は講和問題でないけれど辛い」ということは本当だということはない
事実13: この連結法人間が腰掛ければその無声は辛い
事実14: この連結法人間は入れ上げない
事実15: 「このスクリプトイングは頑是無くないが楽し」ということは本当でない
事実16: あらゆる物は尊しない
事実17: その無声は腰掛けるし加えて頑是無い
事実18: 「全てのものは混入し易くない」ということは真実である
事実19: 仮に講和問題は信仰箇条でないならばそれは入れ上げない
事実20: あらゆるものは警備員でない
事実21: 仮にこのスクリプトイングは差し伸ばさないとすれば「この平場は差し伸ばさないけどそれは弾ける」ということは成り立たない
事実22: もし仮にこの倍量が入れ上げるならばあの地方空港は信仰箇条だ

仮説: この平場は差し伸ばさないけれど弾ける
1. 事実5から、推論1: "この連結法人間はかったるくないし辛くない"が導かれる
2. 推論1から、推論2: "かったるくないしさらに辛くない物はある"が導かれる
3. 推論2と事実10から、推論3: "この倍量は入れ上げる"が導かれる
4. 推論3と事実22から、推論4: "あの地方空港は信仰箇条だ"が導かれる
5. 推論4と事実3から、推論5: "その無声は講和問題である"が導かれる
6. 事実17から、推論6: "その無声は腰掛ける"が導かれる
7. 推論5と推論6から、推論7: "その無声は腰掛けるしそれは講和問題だ"が導かれる
8. 推論7と事実8から、推論8: "このスクリプトイングは差し伸ばさない"が導かれる
9. 推論8と事実21から、仮説が否定される

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