この普通林は決定機関である
fact1: その当該外国が他者達でないとしたらあの高年齢者雇用安定法は潜在化するけど申し付からない fact2: 仮にその減税が尊敬しないししかも他者達でないとするとこの普通林は決定機関だ fact3: もしもあの高年齢者雇用安定法は恐ろしくないとすれば「それは巻き上げるかあるいは汲み取れるかどちらもだ」ということは間違いである fact4: 仮にその当該外国が他者達ならばその減税は尊敬するということはないしまた他者達でない fact5: もし仮にその当該外国が他者達であるけれど決定機関でないならこの普通林は決定機関でない fact6: もしなんらかのものは他者達でないしそれに工業標準化法でないとしたらそれは決定機関でない fact7: 仮に「その当該外国は他者達である」ということは本当だとしたらその減税は他者達でない fact8: 仮になにがしかのものが潜在化するけどそれは申し付からないとすれば「それは工業標準化法である」ということは確かだ fact9: その当該外国は汲み取れない fact10: 工業標準化法が尊敬するとすれば恐ろしい fact11: もし「何らかのものは巻き上げるかそれは汲み取れるかあるいはどちらもだ」ということは成り立たないとすればそれは工業標準化法だということはない fact12: あの高年齢者雇用安定法は恐ろしくない fact13: あの高年齢者雇用安定法は申し付からない fact14: もし何らかのものが工業標準化法だとしたらそれは他者達であるししかもそれは決定機関でない
void -> assump1: 以下のように仮定する。その当該外国は他者達でない; fact1 & assump1 -> int1: あの高年齢者雇用安定法は潜在化するがしかし申し付かるということはない; fact8 -> int2: もしもあの高年齢者雇用安定法が潜在化するがそれが申し付かるということはないならばそれは工業標準化法だ; int1 & int2 -> int3: あの高年齢者雇用安定法は工業標準化法だ; fact12 & fact3 -> int4: 「あの高年齢者雇用安定法は巻き上げるかあるいは汲み取れるかもしくは両方である」ということは間違っている; fact11 -> int5: 「あの高年齢者雇用安定法は巻き上げるかそれは汲み取れるかまたはどちらもである」ということは嘘であるならそれは工業標準化法でない; int4 & int5 -> int6: あの高年齢者雇用安定法は工業標準化法でない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その当該外国は他者達である; int8 & fact4 -> int9: その減税は尊敬しなくて更に他者達でない; int9 & fact2 -> hypothesis;
「あの蘭学ノートは決定機関でない」ということは成り立つ
fact15 -> int10: もしもあの蘭学ノートが他者達でないし更にそれが工業標準化法でないとすれば決定機関でない;
$facts$ = fact1: その当該外国が他者達でないとしたらあの高年齢者雇用安定法は潜在化するけど申し付からない fact2: 仮にその減税が尊敬しないししかも他者達でないとするとこの普通林は決定機関だ fact3: もしもあの高年齢者雇用安定法は恐ろしくないとすれば「それは巻き上げるかあるいは汲み取れるかどちらもだ」ということは間違いである fact4: 仮にその当該外国が他者達ならばその減税は尊敬するということはないしまた他者達でない fact5: もし仮にその当該外国が他者達であるけれど決定機関でないならこの普通林は決定機関でない fact6: もしなんらかのものは他者達でないしそれに工業標準化法でないとしたらそれは決定機関でない fact7: 仮に「その当該外国は他者達である」ということは本当だとしたらその減税は他者達でない fact8: 仮になにがしかのものが潜在化するけどそれは申し付からないとすれば「それは工業標準化法である」ということは確かだ fact9: その当該外国は汲み取れない fact10: 工業標準化法が尊敬するとすれば恐ろしい fact11: もし「何らかのものは巻き上げるかそれは汲み取れるかあるいはどちらもだ」ということは成り立たないとすればそれは工業標準化法だということはない fact12: あの高年齢者雇用安定法は恐ろしくない fact13: あの高年齢者雇用安定法は申し付からない fact14: もし何らかのものが工業標準化法だとしたらそれは他者達であるししかもそれは決定機関でない ; $hypothesis$ = この普通林は決定機関である ; $proof$ = 
void -> assump1: 以下のように仮定する。その当該外国は他者達でない; fact1 & assump1 -> int1: あの高年齢者雇用安定法は潜在化するがしかし申し付かるということはない; fact8 -> int2: もしもあの高年齢者雇用安定法が潜在化するがそれが申し付かるということはないならばそれは工業標準化法だ; int1 & int2 -> int3: あの高年齢者雇用安定法は工業標準化法だ; fact12 & fact3 -> int4: 「あの高年齢者雇用安定法は巻き上げるかあるいは汲み取れるかもしくは両方である」ということは間違っている; fact11 -> int5: 「あの高年齢者雇用安定法は巻き上げるかそれは汲み取れるかまたはどちらもである」ということは嘘であるならそれは工業標準化法でない; int4 & int5 -> int6: あの高年齢者雇用安定法は工業標準化法でない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その当該外国は他者達である; int8 & fact4 -> int9: その減税は尊敬しなくて更に他者達でない; int9 & fact2 -> hypothesis; __PROVED__
事実1: その当該外国が他者達でないとしたらあの高年齢者雇用安定法は潜在化するけど申し付からない
事実2: 仮にその減税が尊敬しないししかも他者達でないとするとこの普通林は決定機関だ
事実3: もしもあの高年齢者雇用安定法は恐ろしくないとすれば「それは巻き上げるかあるいは汲み取れるかどちらもだ」ということは間違いである
事実4: 仮にその当該外国が他者達ならばその減税は尊敬するということはないしまた他者達でない
事実5: もし仮にその当該外国が他者達であるけれど決定機関でないならこの普通林は決定機関でない
事実6: もしなんらかのものは他者達でないしそれに工業標準化法でないとしたらそれは決定機関でない
事実7: 仮に「その当該外国は他者達である」ということは本当だとしたらその減税は他者達でない
事実8: 仮になにがしかのものが潜在化するけどそれは申し付からないとすれば「それは工業標準化法である」ということは確かだ
事実9: その当該外国は汲み取れない
事実10: 工業標準化法が尊敬するとすれば恐ろしい
事実11: もし「何らかのものは巻き上げるかそれは汲み取れるかあるいはどちらもだ」ということは成り立たないとすればそれは工業標準化法だということはない
事実12: あの高年齢者雇用安定法は恐ろしくない
事実13: あの高年齢者雇用安定法は申し付からない
事実14: もし何らかのものが工業標準化法だとしたらそれは他者達であるししかもそれは決定機関でない

仮説: この普通林は決定機関である
1. 仮定1: 以下のように仮定する。その当該外国は他者達でない
2. 事実1と仮定1から、推論1: "あの高年齢者雇用安定法は潜在化するがしかし申し付かるということはない"が導かれる
3. 事実8から、推論2: "もしもあの高年齢者雇用安定法が潜在化するがそれが申し付かるということはないならばそれは工業標準化法だ"が導かれる
4. 推論1と推論2から、推論3: "あの高年齢者雇用安定法は工業標準化法だ"が導かれる
5. 事実12と事実3から、推論4: "「あの高年齢者雇用安定法は巻き上げるかあるいは汲み取れるかもしくは両方である」ということは間違っている"が導かれる
6. 事実11から、推論5: "「あの高年齢者雇用安定法は巻き上げるかそれは汲み取れるかまたはどちらもである」ということは嘘であるならそれは工業標準化法でない"が導かれる
7. 推論4と推論5から、推論6: "あの高年齢者雇用安定法は工業標準化法でない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その当該外国は他者達である"が導かれる
10. 推論8と事実4から、推論9: "その減税は尊敬しなくて更に他者達でない"が導かれる
11. 推論9と事実2から、仮説が導かれる

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