その異化はすーごくない
fact1: もし仮にとあるものは皮膚表面であるということはないとすると「仰ぐか宣伝文句であるかあるいは両方である」ということは偽である fact2: 「もしその乾燥剤が仰ぐならあのヘル・空閑は街らしくないかまたは皮膚表面でないかまたは両方ともである」ということは成り立つ fact3: 仮にある物は難治化でないとすると巨石建造物であるしまた街らしい fact4: あの設定行為は難治化であるとすれば「その総加増・地方直しは難治化でなくて加えて荷抜きしない」ということは成り立たない fact5: 宣伝文句は仰ぐ fact6: 「この発生量は巨石建造物だ」ということは正しいとするとあの設定行為は難治化だ fact7: 「「一般化出来ないかまたは荷抜きするかどちらもだ」ということは偽である」ものはある fact8: 「その総加増・地方直しは巨石建造物だということはなくてまた荷抜きしない」ということは嘘である fact9: その異化は三陸沖でない fact10: もしもその乾燥剤は気恥ずかしいということはないが興味深いとしたらそれは宣伝文句だ fact11: 「その総加増・地方直しは難治化でないしその上荷抜きしない」ということは偽であるとすればあの異化はすーごい fact12: もしあのヘル・空閑は仰々しくない皮膚表面であるならばそれは街らしい fact13: 「あの設定行為は難治化でないし加えて仰々しくない」ということは間違っている fact14: もしもあのヘル・空閑が街らしくないならこの発生量は仰々しい fact15: その乾燥剤は荷抜きする fact16: その乾燥剤は仰々しい fact17: 仰々しいものは巨石建造物である fact18: あのヘル・空閑が皮膚表面でないならばこの発生量は仰々しい fact19: その乾燥剤は気恥ずかしくないけれど興味深い fact20: 「その乾燥剤は皮膚表面でないが宣伝文句である」ということは誤っている fact21: 「もし仮に「なんらかのものは仰ぐか宣伝文句であるかあるいはどちらもだ」ということは誤りであるとしたらそれはすーごいということはない」ということは真実だ fact22: 「「一般化出来るということはないか荷抜きするかあるいは両方だ」ということは真実でない」物があるとしたらその乾燥剤は難治化だということはない
fact10 & fact19 -> int1: その乾燥剤は宣伝文句である; fact5 -> int2: もしその乾燥剤は宣伝文句であるならそれは仰ぐ; int1 & int2 -> int3: その乾燥剤は仰ぐ; int3 & fact2 -> int4: あのヘル・空閑は街らしくないかまたは皮膚表面でないかもしくは両方だ; int4 & fact14 & fact18 -> int5: この発生量は仰々しい; fact17 -> int6: もし仮に「この発生量は仰々しい」ということは正しいならば巨石建造物だ; int5 & int6 -> int7: この発生量は巨石建造物である; int7 & fact6 -> int8: あの設定行為は難治化である; int8 & fact4 -> int9: 「「その総加増・地方直しは難治化でなくて荷抜きしない」ということは嘘である」ということは正しい; int9 & fact11 -> hypothesis;
その異化はすーごくない
fact26 -> int10: もし仮に「その異化は仰ぐかもしくは宣伝文句だ」ということは間違いであるならばそれはすーごくない; fact28 -> int11: その異化は皮膚表面でないとすれば「仰ぐかあるいは宣伝文句である」ということは真実だということはない; fact23 -> int12: もしもその乾燥剤が難治化だということはないとすればそれは巨石建造物でおまけに街らしい; fact27 & fact25 -> int13: その乾燥剤は難治化でない; int12 & int13 -> int14: その乾燥剤が巨石建造物だし街らしい; int14 -> int15: その乾燥剤は街らしい; fact24 & int15 -> int16: その乾燥剤は仰々しくてそれは街らしい; int16 -> int17: なにがしかの物は仰々しいしまた街らしい;
$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$ = 
fact10 & fact19 -> int1: その乾燥剤は宣伝文句である; fact5 -> int2: もしその乾燥剤は宣伝文句であるならそれは仰ぐ; int1 & int2 -> int3: その乾燥剤は仰ぐ; int3 & fact2 -> int4: あのヘル・空閑は街らしくないかまたは皮膚表面でないかもしくは両方だ; int4 & fact14 & fact18 -> int5: この発生量は仰々しい; fact17 -> int6: もし仮に「この発生量は仰々しい」ということは正しいならば巨石建造物だ; int5 & int6 -> int7: この発生量は巨石建造物である; int7 & fact6 -> int8: あの設定行為は難治化である; int8 & fact4 -> int9: 「「その総加増・地方直しは難治化でなくて荷抜きしない」ということは嘘である」ということは正しい; int9 & 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: 「「一般化出来るということはないか荷抜きするかあるいは両方だ」ということは真実でない」物があるとしたらその乾燥剤は難治化だということはない

仮説: その異化はすーごくない
1. 事実10と事実19から、推論1: "その乾燥剤は宣伝文句である"が導かれる
2. 事実5から、推論2: "もしその乾燥剤は宣伝文句であるならそれは仰ぐ"が導かれる
3. 推論1と推論2から、推論3: "その乾燥剤は仰ぐ"が導かれる
4. 推論3と事実2から、推論4: "あのヘル・空閑は街らしくないかまたは皮膚表面でないかもしくは両方だ"が導かれる
5. 推論4と事実14と事実18から、推論5: "この発生量は仰々しい"が導かれる
6. 事実17から、推論6: "もし仮に「この発生量は仰々しい」ということは正しいならば巨石建造物だ"が導かれる
7. 推論5と推論6から、推論7: "この発生量は巨石建造物である"が導かれる
8. 推論7と事実6から、推論8: "あの設定行為は難治化である"が導かれる
9. 推論8と事実4から、推論9: "「「その総加増・地方直しは難治化でなくて荷抜きしない」ということは嘘である」ということは正しい"が導かれる
10. 推論9と事実11から、仮説が否定される

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