その中国・唐代は発生し難くない
fact1: もしあのブローカーが子供っぽいならばその歴史的系譜は子供っぽい fact2: 全ては好況でない fact3: もしあのブローカーが控除し切れないとするとその歴史的系譜は子供っぽい fact4: この原木市場は子供っぽい fact5: 「この学長秘書は控除し切れるということはない」ということは成り立つ fact6: この学長秘書は好況であるか出来易いかもしくは両方である fact7: この学長秘書が好況でないか出来易いかもしくはどちらもであるとするとあの半導体デバイスは大喧嘩だ fact8: もしもとある物は大喧嘩であるとすればフォーマットだ fact9: もしも「その誤読は好況だということはないけれど大喧嘩だ」ということは本当だとしたらこの原木市場は好況だ fact10: それは恨めしいけれど由々しということはないというものはない fact11: もし仮に「この原木市場は控除し切れるかもしくは子供っぽくない」ということは真実でないとすればその中国・唐代は発生し難くない fact12: もしもなんらかのものがのんだということはないとすればそれは子供っぽいかまたは控除し切れないかあるいはどちらもだ fact13: この学長秘書は子供っぽくないか出来易いかどちらもだ fact14: もし仮にあの半導体デバイスは子供っぽいなら「この原木市場は控除し切れるかまたはそれは子供っぽくないかまたは両方だ」ということは事実と異なる fact15: 仮にあの半導体デバイスが子供っぽいとしたらこの原木市場は子供っぽい fact16: フォーマットは子供っぽい fact17: 「この原木市場は好況である」ということは成り立つとしたらあの半導体デバイスは発生し難い fact18: この原木市場は出来易い fact19: 「この原木市場は控除し切れるかまたはそれは子供っぽいか両方ともだ」ということは嘘ならばその中国・唐代は発生し難くない fact20: もし「この学長秘書は出来易いかまたはそれはフォーマットでない」ということは誤っているとすればあの半導体デバイスは子供っぽくない fact21: もし仮に「とある物は恨めしいけれど由々しない」ということは偽だとすればそれはのんでない
fact2 -> int1: この学長秘書は好況でない; int1 -> int2: この学長秘書は好況でないかまたは出来易いかもしくはどちらもである; int2 & fact7 -> int3: あの半導体デバイスは大喧嘩である; fact8 -> int4: もし仮にあの半導体デバイスは大喧嘩であるなら「フォーマットだ」ということは成り立つ; int3 & int4 -> int5: あの半導体デバイスはフォーマットだ; fact16 -> int6: もしもあの半導体デバイスがフォーマットだとすると子供っぽい; int5 & int6 -> int7: あの半導体デバイスは子供っぽい; int7 & fact14 -> int8: 「この原木市場は控除し切れるかまたは子供っぽくない」ということは成り立たない; int8 & fact11 -> hypothesis;
「その中国・唐代は発生し難い」ということは成り立つ
fact22 -> int9: 「このＸ線光子は恨めしいが由々しない」ということは間違っているとするとそれはのんだということはない; fact28 -> int10: 「このＸ線光子は恨めしいけれど由々しない」ということは誤りだ; int9 & int10 -> int11: このＸ線光子はのんでない; int11 -> int12: 全てはのんでない; int12 -> int13: あのブローカーはのんでない; fact24 -> int14: もしあのブローカーがのんでないとすれば子供っぽいか控除し切れないか両方ともである; int13 & int14 -> int15: あのブローカーは子供っぽいか控除し切れるということはない; int15 & fact23 & fact26 -> int16: その歴史的系譜は子供っぽい;
$facts$ = fact1: もしあのブローカーが子供っぽいならばその歴史的系譜は子供っぽい fact2: 全ては好況でない fact3: もしあのブローカーが控除し切れないとするとその歴史的系譜は子供っぽい fact4: この原木市場は子供っぽい fact5: 「この学長秘書は控除し切れるということはない」ということは成り立つ fact6: この学長秘書は好況であるか出来易いかもしくは両方である fact7: この学長秘書が好況でないか出来易いかもしくはどちらもであるとするとあの半導体デバイスは大喧嘩だ fact8: もしもとある物は大喧嘩であるとすればフォーマットだ fact9: もしも「その誤読は好況だということはないけれど大喧嘩だ」ということは本当だとしたらこの原木市場は好況だ fact10: それは恨めしいけれど由々しということはないというものはない fact11: もし仮に「この原木市場は控除し切れるかもしくは子供っぽくない」ということは真実でないとすればその中国・唐代は発生し難くない fact12: もしもなんらかのものがのんだということはないとすればそれは子供っぽいかまたは控除し切れないかあるいはどちらもだ fact13: この学長秘書は子供っぽくないか出来易いかどちらもだ fact14: もし仮にあの半導体デバイスは子供っぽいなら「この原木市場は控除し切れるかまたはそれは子供っぽくないかまたは両方だ」ということは事実と異なる fact15: 仮にあの半導体デバイスが子供っぽいとしたらこの原木市場は子供っぽい fact16: フォーマットは子供っぽい fact17: 「この原木市場は好況である」ということは成り立つとしたらあの半導体デバイスは発生し難い fact18: この原木市場は出来易い fact19: 「この原木市場は控除し切れるかまたはそれは子供っぽいか両方ともだ」ということは嘘ならばその中国・唐代は発生し難くない fact20: もし「この学長秘書は出来易いかまたはそれはフォーマットでない」ということは誤っているとすればあの半導体デバイスは子供っぽくない fact21: もし仮に「とある物は恨めしいけれど由々しない」ということは偽だとすればそれはのんでない ; $hypothesis$ = その中国・唐代は発生し難くない ; $proof$ = 
fact2 -> int1: この学長秘書は好況でない; int1 -> int2: この学長秘書は好況でないかまたは出来易いかもしくはどちらもである; int2 & fact7 -> int3: あの半導体デバイスは大喧嘩である; fact8 -> int4: もし仮にあの半導体デバイスは大喧嘩であるなら「フォーマットだ」ということは成り立つ; int3 & int4 -> int5: あの半導体デバイスはフォーマットだ; fact16 -> int6: もしもあの半導体デバイスがフォーマットだとすると子供っぽい; int5 & int6 -> int7: あの半導体デバイスは子供っぽい; int7 & fact14 -> int8: 「この原木市場は控除し切れるかまたは子供っぽくない」ということは成り立たない; int8 & fact11 -> hypothesis; __PROVED__
事実1: もしあのブローカーが子供っぽいならばその歴史的系譜は子供っぽい
事実2: 全ては好況でない
事実3: もしあのブローカーが控除し切れないとするとその歴史的系譜は子供っぽい
事実4: この原木市場は子供っぽい
事実5: 「この学長秘書は控除し切れるということはない」ということは成り立つ
事実6: この学長秘書は好況であるか出来易いかもしくは両方である
事実7: この学長秘書が好況でないか出来易いかもしくはどちらもであるとするとあの半導体デバイスは大喧嘩だ
事実8: もしもとある物は大喧嘩であるとすればフォーマットだ
事実9: もしも「その誤読は好況だということはないけれど大喧嘩だ」ということは本当だとしたらこの原木市場は好況だ
事実10: それは恨めしいけれど由々しということはないというものはない
事実11: もし仮に「この原木市場は控除し切れるかもしくは子供っぽくない」ということは真実でないとすればその中国・唐代は発生し難くない
事実12: もしもなんらかのものがのんだということはないとすればそれは子供っぽいかまたは控除し切れないかあるいはどちらもだ
事実13: この学長秘書は子供っぽくないか出来易いかどちらもだ
事実14: もし仮にあの半導体デバイスは子供っぽいなら「この原木市場は控除し切れるかまたはそれは子供っぽくないかまたは両方だ」ということは事実と異なる
事実15: 仮にあの半導体デバイスが子供っぽいとしたらこの原木市場は子供っぽい
事実16: フォーマットは子供っぽい
事実17: 「この原木市場は好況である」ということは成り立つとしたらあの半導体デバイスは発生し難い
事実18: この原木市場は出来易い
事実19: 「この原木市場は控除し切れるかまたはそれは子供っぽいか両方ともだ」ということは嘘ならばその中国・唐代は発生し難くない
事実20: もし「この学長秘書は出来易いかまたはそれはフォーマットでない」ということは誤っているとすればあの半導体デバイスは子供っぽくない
事実21: もし仮に「とある物は恨めしいけれど由々しない」ということは偽だとすればそれはのんでない

仮説: その中国・唐代は発生し難くない
1. 事実2から、推論1: "この学長秘書は好況でない"が導かれる
2. 推論1から、推論2: "この学長秘書は好況でないかまたは出来易いかもしくはどちらもである"が導かれる
3. 推論2と事実7から、推論3: "あの半導体デバイスは大喧嘩である"が導かれる
4. 事実8から、推論4: "もし仮にあの半導体デバイスは大喧嘩であるなら「フォーマットだ」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "あの半導体デバイスはフォーマットだ"が導かれる
6. 事実16から、推論6: "もしもあの半導体デバイスがフォーマットだとすると子供っぽい"が導かれる
7. 推論5と推論6から、推論7: "あの半導体デバイスは子供っぽい"が導かれる
8. 推論7と事実14から、推論8: "「この原木市場は控除し切れるかまたは子供っぽくない」ということは成り立たない"が導かれる
9. 推論8と事実11から、仮説が導かれる

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