あの年銘は急減するということはない
fact1: 「「軽過ぎない」ということは成り立たない」物はある fact2: もしもその四輪駆動車は真偽表でないとしたら刺々しい fact3: あの欽定訳は刺々しいしそれは軽過ぎる fact4: もしなんらかのものが軽過ぎないならあの手前左は刺々しかない fact5: プロミスは刺々しい fact6: もし仮にこの総合繊維産業は腫大するとしたら「あの手前左はプロミスでない一方で飲み慣れる」ということは間違いだ fact7: もしもなにかは腫大しないならば急減するということはないしまた育ち直す fact8: とある物が育ち直さないとすれば急減する fact9: その四輪駆動車は急減しない fact10: 「あの手前左はプロミスであるしそれに飲み慣れる」ということは事実と異なる fact11: もし仮に「何らかのものはプロミスであるということはない一方でそれは飲み慣れる」ということは嘘ならば「刺々しい」ということは確かだ fact12: 仮にあの手前左はプロミスであるとするとそれは刺々しい fact13: もし仮にある物は急減するし刺々しいとすればプロミスだということはない fact14: その四輪駆動車は示し易いがしかしそれは軽過ぎない fact15: 仮にあの年銘が育ち直せばこの総合繊維産業は腫大する fact16: 「その四輪駆動車は示し易い」ということは成り立つ fact17: あの欽定訳は急減する fact18: もし仮にこの総合繊維産業は腫大するなら「あの手前左はプロミスであるしその上それは飲み慣れる」ということは誤っている fact19: あの手前左は急減するということはない fact20: もし仮に何らかのものがプロミスでないとすればそれは育ち直すかあるいは腫大するかあるいは両方だ
void -> assump1: 以下のように仮定する。あの年銘は育ち直す; fact15 & assump1 -> int1: 「この総合繊維産業は腫大する」ということは真実だ; int1 & fact6 -> int2: 「あの手前左はプロミスでないがしかし飲み慣れる」ということは成り立たない; fact11 -> int3: もしも「あの手前左はプロミスだということはないけれど飲み慣れる」ということは間違いだとすると刺々しい; int2 & int3 -> int4: あの手前左は刺々しい; fact14 -> int5: 「その四輪駆動車は軽過ぎない」ということは真実である; int5 -> int6: なにがしかのものは軽過ぎるということはない; int6 & fact4 -> int7: 「あの手前左は刺々しかない」ということは事実だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの年銘は育ち直さない; fact8 -> int10: あの年銘が育ち直さないならそれは急減する; int9 & int10 -> hypothesis;
あの年銘は急減するということはない
fact21 -> int11: もし仮にあの年銘が腫大しないならそれは急減しないけど育ち直す;
$facts$ = fact1: 「「軽過ぎない」ということは成り立たない」物はある fact2: もしもその四輪駆動車は真偽表でないとしたら刺々しい fact3: あの欽定訳は刺々しいしそれは軽過ぎる fact4: もしなんらかのものが軽過ぎないならあの手前左は刺々しかない fact5: プロミスは刺々しい fact6: もし仮にこの総合繊維産業は腫大するとしたら「あの手前左はプロミスでない一方で飲み慣れる」ということは間違いだ fact7: もしもなにかは腫大しないならば急減するということはないしまた育ち直す fact8: とある物が育ち直さないとすれば急減する fact9: その四輪駆動車は急減しない fact10: 「あの手前左はプロミスであるしそれに飲み慣れる」ということは事実と異なる fact11: もし仮に「何らかのものはプロミスであるということはない一方でそれは飲み慣れる」ということは嘘ならば「刺々しい」ということは確かだ fact12: 仮にあの手前左はプロミスであるとするとそれは刺々しい fact13: もし仮にある物は急減するし刺々しいとすればプロミスだということはない fact14: その四輪駆動車は示し易いがしかしそれは軽過ぎない fact15: 仮にあの年銘が育ち直せばこの総合繊維産業は腫大する fact16: 「その四輪駆動車は示し易い」ということは成り立つ fact17: あの欽定訳は急減する fact18: もし仮にこの総合繊維産業は腫大するなら「あの手前左はプロミスであるしその上それは飲み慣れる」ということは誤っている fact19: あの手前左は急減するということはない fact20: もし仮に何らかのものがプロミスでないとすればそれは育ち直すかあるいは腫大するかあるいは両方だ ; $hypothesis$ = あの年銘は急減するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの年銘は育ち直す; fact15 & assump1 -> int1: 「この総合繊維産業は腫大する」ということは真実だ; int1 & fact6 -> int2: 「あの手前左はプロミスでないがしかし飲み慣れる」ということは成り立たない; fact11 -> int3: もしも「あの手前左はプロミスだということはないけれど飲み慣れる」ということは間違いだとすると刺々しい; int2 & int3 -> int4: あの手前左は刺々しい; fact14 -> int5: 「その四輪駆動車は軽過ぎない」ということは真実である; int5 -> int6: なにがしかのものは軽過ぎるということはない; int6 & fact4 -> int7: 「あの手前左は刺々しかない」ということは事実だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの年銘は育ち直さない; fact8 -> int10: あの年銘が育ち直さないならそれは急減する; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 「「軽過ぎない」ということは成り立たない」物はある
事実2: もしもその四輪駆動車は真偽表でないとしたら刺々しい
事実3: あの欽定訳は刺々しいしそれは軽過ぎる
事実4: もしなんらかのものが軽過ぎないならあの手前左は刺々しかない
事実5: プロミスは刺々しい
事実6: もし仮にこの総合繊維産業は腫大するとしたら「あの手前左はプロミスでない一方で飲み慣れる」ということは間違いだ
事実7: もしもなにかは腫大しないならば急減するということはないしまた育ち直す
事実8: とある物が育ち直さないとすれば急減する
事実9: その四輪駆動車は急減しない
事実10: 「あの手前左はプロミスであるしそれに飲み慣れる」ということは事実と異なる
事実11: もし仮に「何らかのものはプロミスであるということはない一方でそれは飲み慣れる」ということは嘘ならば「刺々しい」ということは確かだ
事実12: 仮にあの手前左はプロミスであるとするとそれは刺々しい
事実13: もし仮にある物は急減するし刺々しいとすればプロミスだということはない
事実14: その四輪駆動車は示し易いがしかしそれは軽過ぎない
事実15: 仮にあの年銘が育ち直せばこの総合繊維産業は腫大する
事実16: 「その四輪駆動車は示し易い」ということは成り立つ
事実17: あの欽定訳は急減する
事実18: もし仮にこの総合繊維産業は腫大するなら「あの手前左はプロミスであるしその上それは飲み慣れる」ということは誤っている
事実19: あの手前左は急減するということはない
事実20: もし仮に何らかのものがプロミスでないとすればそれは育ち直すかあるいは腫大するかあるいは両方だ

仮説: あの年銘は急減するということはない
1. 仮定1: 以下のように仮定する。あの年銘は育ち直す
2. 事実15と仮定1から、推論1: "「この総合繊維産業は腫大する」ということは真実だ"が導かれる
3. 推論1と事実6から、推論2: "「あの手前左はプロミスでないがしかし飲み慣れる」ということは成り立たない"が導かれる
4. 事実11から、推論3: "もしも「あの手前左はプロミスだということはないけれど飲み慣れる」ということは間違いだとすると刺々しい"が導かれる
5. 推論2と推論3から、推論4: "あの手前左は刺々しい"が導かれる
6. 事実14から、推論5: "「その四輪駆動車は軽過ぎない」ということは真実である"が導かれる
7. 推論5から、推論6: "なにがしかのものは軽過ぎるということはない"が導かれる
8. 推論6と事実4から、推論7: "「あの手前左は刺々しかない」ということは事実だ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの年銘は育ち直さない"が導かれる
11. 事実8から、推論10: "あの年銘が育ち直さないならそれは急減する"が導かれる
12. 推論9と推論10から、仮説が否定される

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