あの加工工程は系列下でない
fact1: 「起動するかもしくは考え易い」物はある fact2: もしこの茸産業が考え易いしシステム自身ならあの辛みソースは起動しない fact3: あの辛みソースが起動しないとしたらあの加工工程は系列下だということはない fact4: かわゆいかもしくは剥がれ易いかあるいはどちらもな物はある fact5: 仮に「あの加工工程は系列下でない一方でそれは剥がれ易い」ということは成り立つということはないならばそれは系列下だ fact6: この茸産業はシステム自身だ fact7: もし「かわゆいかまたは剥がれ易い」ものがあるならこの茸産業は考え易い
fact4 & fact7 -> int1: この茸産業は考え易い; int1 & fact6 -> int2: 「この茸産業は考え易くてそれはシステム自身だ」ということは成り立つ; int2 & fact2 -> int3: あの辛みソースは起動しない; int3 & fact3 -> hypothesis;
あの加工工程は系列下だ
$facts$ = fact1: 「起動するかもしくは考え易い」物はある fact2: もしこの茸産業が考え易いしシステム自身ならあの辛みソースは起動しない fact3: あの辛みソースが起動しないとしたらあの加工工程は系列下だということはない fact4: かわゆいかもしくは剥がれ易いかあるいはどちらもな物はある fact5: 仮に「あの加工工程は系列下でない一方でそれは剥がれ易い」ということは成り立つということはないならばそれは系列下だ fact6: この茸産業はシステム自身だ fact7: もし「かわゆいかまたは剥がれ易い」ものがあるならこの茸産業は考え易い ; $hypothesis$ = あの加工工程は系列下でない ; $proof$ = 
fact4 & fact7 -> int1: この茸産業は考え易い; int1 & fact6 -> int2: 「この茸産業は考え易くてそれはシステム自身だ」ということは成り立つ; int2 & fact2 -> int3: あの辛みソースは起動しない; int3 & fact3 -> hypothesis; __PROVED__
事実1: 「起動するかもしくは考え易い」物はある
事実2: もしこの茸産業が考え易いしシステム自身ならあの辛みソースは起動しない
事実3: あの辛みソースが起動しないとしたらあの加工工程は系列下だということはない
事実4: かわゆいかもしくは剥がれ易いかあるいはどちらもな物はある
事実5: 仮に「あの加工工程は系列下でない一方でそれは剥がれ易い」ということは成り立つということはないならばそれは系列下だ
事実6: この茸産業はシステム自身だ
事実7: もし「かわゆいかまたは剥がれ易い」ものがあるならこの茸産業は考え易い

仮説: あの加工工程は系列下でない
1. 事実4と事実7から、推論1: "この茸産業は考え易い"が導かれる
2. 推論1と事実6から、推論2: "「この茸産業は考え易くてそれはシステム自身だ」ということは成り立つ"が導かれる
3. 推論2と事実2から、推論3: "あの辛みソースは起動しない"が導かれる
4. 推論3と事実3から、仮説が導かれる

よって、仮説が証明されました。