「その供は回転速度だ一方で蒸し暑くない」ということは成り立たない
fact1: あの地獄絵は蒸し暑くないししかもそれは男性向けでない fact2: もしも「あの法体制は慌ただしくない」ということは偽でないならあの地獄絵は登録するが極まり悪くない fact3: もし仮に「あるものは極まり悪いということはない一方で登録する」ということは成り立たないとするとそれは登録するということはない fact4: もし仮にあのスピン・アラウンドがもどかしい一方で男性向けでないとしたらあの法体制は男性向けだ fact5: あの法体制は登録する fact6: もし何らかの物は男性向けだとすれば「それは慌ただしいということはない」ということは成り立つ fact7: 仮に何らかのものは抗し難いとすると「回転速度だしそれは蒸し暑くない」ということは成り立たない fact8: 仮に抗し難いものが極まり悪いとするとあの法体制は登録しない fact9: もしも何らかのものは抗し難くないなら「それは極まり悪いということはない一方で登録する」ということは誤りである fact10: あの地獄絵は極まり悪い fact11: あの法体制は慌ただしい fact12: もし仮にあの地獄絵が慌ただしくないとしたらその供は回転速度である一方でそれは蒸し暑いということはない fact13: 「極まり悪い」ものはある fact14: もしもあの地獄絵が抗し難くないとすればそれは慌ただしくない fact15: 「抗し難い」ものはある fact16: 仮にとある物が慌ただしくないかあるいは回転速度ならばそれは抗し難くない fact17: その御雑煮は登録する fact18: 仮にあの地獄絵が慌ただしくないとしたらその供は回転速度である fact19: その供は回転速度だ
void -> assump1: 以下のように仮定する。あの地獄絵は抗し難い; assump1 & fact10 -> int1: あの地獄絵は抗し難くてまた極まり悪い; int1 -> int2: 「抗し難くておまけに極まり悪い」物はある; int2 & fact8 -> int3: あの法体制は登録しない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの地獄絵は抗し難くない; int5 & fact14 -> int6: 「あの地獄絵は慌ただしいということはない」ということは成り立つ; int6 & fact12 -> hypothesis;
あのスピン・アラウンドは登録しない
fact21 -> int7: 「あのスピン・アラウンドは極まり悪くないがしかしそれは登録する」ということは嘘だとしたらそれは登録しない; fact22 -> int8: あのスピン・アラウンドは抗し難くないとすると「極まり悪くないがしかし登録する」ということは成り立たない; fact20 -> int9: 仮にあのスピン・アラウンドが慌ただしくないかあるいは回転速度であるかもしくは両方であるならば抗し難くない; fact23 -> int10: あの地獄絵は蒸し暑くない; int10 -> int11: 「蒸し暑くない」ものはある;
$facts$ = fact1: あの地獄絵は蒸し暑くないししかもそれは男性向けでない fact2: もしも「あの法体制は慌ただしくない」ということは偽でないならあの地獄絵は登録するが極まり悪くない fact3: もし仮に「あるものは極まり悪いということはない一方で登録する」ということは成り立たないとするとそれは登録するということはない fact4: もし仮にあのスピン・アラウンドがもどかしい一方で男性向けでないとしたらあの法体制は男性向けだ fact5: あの法体制は登録する fact6: もし何らかの物は男性向けだとすれば「それは慌ただしいということはない」ということは成り立つ fact7: 仮に何らかのものは抗し難いとすると「回転速度だしそれは蒸し暑くない」ということは成り立たない fact8: 仮に抗し難いものが極まり悪いとするとあの法体制は登録しない fact9: もしも何らかのものは抗し難くないなら「それは極まり悪いということはない一方で登録する」ということは誤りである fact10: あの地獄絵は極まり悪い fact11: あの法体制は慌ただしい fact12: もし仮にあの地獄絵が慌ただしくないとしたらその供は回転速度である一方でそれは蒸し暑いということはない fact13: 「極まり悪い」ものはある fact14: もしもあの地獄絵が抗し難くないとすればそれは慌ただしくない fact15: 「抗し難い」ものはある fact16: 仮にとある物が慌ただしくないかあるいは回転速度ならばそれは抗し難くない fact17: その御雑煮は登録する fact18: 仮にあの地獄絵が慌ただしくないとしたらその供は回転速度である fact19: その供は回転速度だ ; $hypothesis$ = 「その供は回転速度だ一方で蒸し暑くない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの地獄絵は抗し難い; assump1 & fact10 -> int1: あの地獄絵は抗し難くてまた極まり悪い; int1 -> int2: 「抗し難くておまけに極まり悪い」物はある; int2 & fact8 -> int3: あの法体制は登録しない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの地獄絵は抗し難くない; int5 & fact14 -> int6: 「あの地獄絵は慌ただしいということはない」ということは成り立つ; int6 & fact12 -> hypothesis; __DISPROVED__
事実1: あの地獄絵は蒸し暑くないししかもそれは男性向けでない
事実2: もしも「あの法体制は慌ただしくない」ということは偽でないならあの地獄絵は登録するが極まり悪くない
事実3: もし仮に「あるものは極まり悪いということはない一方で登録する」ということは成り立たないとするとそれは登録するということはない
事実4: もし仮にあのスピン・アラウンドがもどかしい一方で男性向けでないとしたらあの法体制は男性向けだ
事実5: あの法体制は登録する
事実6: もし何らかの物は男性向けだとすれば「それは慌ただしいということはない」ということは成り立つ
事実7: 仮に何らかのものは抗し難いとすると「回転速度だしそれは蒸し暑くない」ということは成り立たない
事実8: 仮に抗し難いものが極まり悪いとするとあの法体制は登録しない
事実9: もしも何らかのものは抗し難くないなら「それは極まり悪いということはない一方で登録する」ということは誤りである
事実10: あの地獄絵は極まり悪い
事実11: あの法体制は慌ただしい
事実12: もし仮にあの地獄絵が慌ただしくないとしたらその供は回転速度である一方でそれは蒸し暑いということはない
事実13: 「極まり悪い」ものはある
事実14: もしもあの地獄絵が抗し難くないとすればそれは慌ただしくない
事実15: 「抗し難い」ものはある
事実16: 仮にとある物が慌ただしくないかあるいは回転速度ならばそれは抗し難くない
事実17: その御雑煮は登録する
事実18: 仮にあの地獄絵が慌ただしくないとしたらその供は回転速度である
事実19: その供は回転速度だ

仮説: 「その供は回転速度だ一方で蒸し暑くない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの地獄絵は抗し難い
2. 仮定1と事実10から、推論1: "あの地獄絵は抗し難くてまた極まり悪い"が導かれる
3. 推論1から、推論2: "「抗し難くておまけに極まり悪い」物はある"が導かれる
4. 推論2と事実8から、推論3: "あの法体制は登録しない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの地獄絵は抗し難くない"が導かれる
7. 推論5と事実14から、推論6: "「あの地獄絵は慌ただしいということはない」ということは成り立つ"が導かれる
8. 推論6と事実12から、仮説が否定される

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