「そのボーイズは危険度でない」ということは事実である
fact1: もしこの冒険がコンピュータ業界であるならばあの社会主義的協同組合農業は根強いかコンピュータ業界でないかもしくは両方である fact2: この冒険は危険度であるかあるいは邪魔臭いかあるいは両方だ fact3: そのボーイズは設計内容である fact4: もしその皮革が根強くないとすればこの社会主義的協同組合農業は支配し始める fact5: 「もしそのボーイズが配信するかあるいはそれが支配し始めるならそのボーイズは危険度でない」ということは成り立つ fact6: もしも「その皮革は司でなくてそれは支配し始めない」ということは誤りだとするとその始祖は支配し始めるということはない fact7: そのボーイズが支配し始めるとするとそれは危険度でない fact8: その皮革は支配し始めないか細いかあるいは両方だ fact9: その皮革は配信しないとしたら「根強いし更にコンピュータ業界である」ということは成り立つ fact10: もし仮にこの冒険が邪魔臭くないとすればそれはコンピュータ業界だ fact11: もし仮にこの冒険が支配し始めるか司であるならコンピュータ業界でない fact12: もしもそのボーイズがコンピュータ業界でないとしたらこの社会主義的協同組合農業は危険度だ fact13: そのボーイズは邪魔臭くない fact14: 「あの高率は根強い」ということは真実だ fact15: 「何かは司である」ということは嘘でないならば「それは設計内容で更に危険度でない」ということは成り立たない fact16: その皮革は設計内容である fact17: そのボーイズは根強くない fact18: そのボーイズは設計内容であるか配信するかまたはどちらもである fact19: もし「その皮革は支配し始めないか細いかまたは両方である」ということは本当であるとすればそれは配信しない fact20: そのボーイズはコンピュータ業界でない fact21: その皮革は危険度でない fact22: もしこの社会主義的協同組合農業がコンピュータ業界でないとしたらそのボーイズは配信する fact23: もし仮にその皮革が司であるとすればこの冒険は邪魔臭くない fact24: 仮に「この社会主義的協同組合農業は根強い」ということは事実であるならばあのボーイズは配信する fact25: この冒険は不規則でない fact26: その皮革が設計内容であるかあるいはそれが司であるかあるいは両方ともであるならばこの冒険は邪魔臭くない fact27: 「その皮革は危険度だ」ということは本当であるとしたらそのボーイズは危険度だ
fact16 -> int1: その皮革は設計内容であるかまたは司であるか両方である; int1 & fact26 -> int2: この冒険は邪魔臭いということはない; int2 & fact10 -> int3: この冒険はコンピュータ業界だ; int3 & fact1 -> int4: この社会主義的協同組合農業は根強いかコンピュータ業界でない; int4 & fact24 & fact22 -> int5: そのボーイズは配信する; int5 -> int6: 「そのボーイズは配信するかあるいは支配し始めるかまたは両方だ」ということは成り立つ; int6 & fact5 -> hypothesis;
その始祖は支配し始めない
$facts$ = fact1: もしこの冒険がコンピュータ業界であるならばあの社会主義的協同組合農業は根強いかコンピュータ業界でないかもしくは両方である fact2: この冒険は危険度であるかあるいは邪魔臭いかあるいは両方だ fact3: そのボーイズは設計内容である fact4: もしその皮革が根強くないとすればこの社会主義的協同組合農業は支配し始める fact5: 「もしそのボーイズが配信するかあるいはそれが支配し始めるならそのボーイズは危険度でない」ということは成り立つ fact6: もしも「その皮革は司でなくてそれは支配し始めない」ということは誤りだとするとその始祖は支配し始めるということはない fact7: そのボーイズが支配し始めるとするとそれは危険度でない fact8: その皮革は支配し始めないか細いかあるいは両方だ fact9: その皮革は配信しないとしたら「根強いし更にコンピュータ業界である」ということは成り立つ fact10: もし仮にこの冒険が邪魔臭くないとすればそれはコンピュータ業界だ fact11: もし仮にこの冒険が支配し始めるか司であるならコンピュータ業界でない fact12: もしもそのボーイズがコンピュータ業界でないとしたらこの社会主義的協同組合農業は危険度だ fact13: そのボーイズは邪魔臭くない fact14: 「あの高率は根強い」ということは真実だ fact15: 「何かは司である」ということは嘘でないならば「それは設計内容で更に危険度でない」ということは成り立たない fact16: その皮革は設計内容である fact17: そのボーイズは根強くない fact18: そのボーイズは設計内容であるか配信するかまたはどちらもである fact19: もし「その皮革は支配し始めないか細いかまたは両方である」ということは本当であるとすればそれは配信しない fact20: そのボーイズはコンピュータ業界でない fact21: その皮革は危険度でない fact22: もしこの社会主義的協同組合農業がコンピュータ業界でないとしたらそのボーイズは配信する fact23: もし仮にその皮革が司であるとすればこの冒険は邪魔臭くない fact24: 仮に「この社会主義的協同組合農業は根強い」ということは事実であるならばあのボーイズは配信する fact25: この冒険は不規則でない fact26: その皮革が設計内容であるかあるいはそれが司であるかあるいは両方ともであるならばこの冒険は邪魔臭くない fact27: 「その皮革は危険度だ」ということは本当であるとしたらそのボーイズは危険度だ ; $hypothesis$ = 「そのボーイズは危険度でない」ということは事実である ; $proof$ = 
fact16 -> int1: その皮革は設計内容であるかまたは司であるか両方である; int1 & fact26 -> int2: この冒険は邪魔臭いということはない; int2 & fact10 -> int3: この冒険はコンピュータ業界だ; int3 & fact1 -> int4: この社会主義的協同組合農業は根強いかコンピュータ業界でない; int4 & fact24 & fact22 -> int5: そのボーイズは配信する; int5 -> int6: 「そのボーイズは配信するかあるいは支配し始めるかまたは両方だ」ということは成り立つ; int6 & fact5 -> hypothesis; __PROVED__
事実1: もしこの冒険がコンピュータ業界であるならばあの社会主義的協同組合農業は根強いかコンピュータ業界でないかもしくは両方である
事実2: この冒険は危険度であるかあるいは邪魔臭いかあるいは両方だ
事実3: そのボーイズは設計内容である
事実4: もしその皮革が根強くないとすればこの社会主義的協同組合農業は支配し始める
事実5: 「もしそのボーイズが配信するかあるいはそれが支配し始めるならそのボーイズは危険度でない」ということは成り立つ
事実6: もしも「その皮革は司でなくてそれは支配し始めない」ということは誤りだとするとその始祖は支配し始めるということはない
事実7: そのボーイズが支配し始めるとするとそれは危険度でない
事実8: その皮革は支配し始めないか細いかあるいは両方だ
事実9: その皮革は配信しないとしたら「根強いし更にコンピュータ業界である」ということは成り立つ
事実10: もし仮にこの冒険が邪魔臭くないとすればそれはコンピュータ業界だ
事実11: もし仮にこの冒険が支配し始めるか司であるならコンピュータ業界でない
事実12: もしもそのボーイズがコンピュータ業界でないとしたらこの社会主義的協同組合農業は危険度だ
事実13: そのボーイズは邪魔臭くない
事実14: 「あの高率は根強い」ということは真実だ
事実15: 「何かは司である」ということは嘘でないならば「それは設計内容で更に危険度でない」ということは成り立たない
事実16: その皮革は設計内容である
事実17: そのボーイズは根強くない
事実18: そのボーイズは設計内容であるか配信するかまたはどちらもである
事実19: もし「その皮革は支配し始めないか細いかまたは両方である」ということは本当であるとすればそれは配信しない
事実20: そのボーイズはコンピュータ業界でない
事実21: その皮革は危険度でない
事実22: もしこの社会主義的協同組合農業がコンピュータ業界でないとしたらそのボーイズは配信する
事実23: もし仮にその皮革が司であるとすればこの冒険は邪魔臭くない
事実24: 仮に「この社会主義的協同組合農業は根強い」ということは事実であるならばあのボーイズは配信する
事実25: この冒険は不規則でない
事実26: その皮革が設計内容であるかあるいはそれが司であるかあるいは両方ともであるならばこの冒険は邪魔臭くない
事実27: 「その皮革は危険度だ」ということは本当であるとしたらそのボーイズは危険度だ

仮説: 「そのボーイズは危険度でない」ということは事実である
1. 事実16から、推論1: "その皮革は設計内容であるかまたは司であるか両方である"が導かれる
2. 推論1と事実26から、推論2: "この冒険は邪魔臭いということはない"が導かれる
3. 推論2と事実10から、推論3: "この冒険はコンピュータ業界だ"が導かれる
4. 推論3と事実1から、推論4: "この社会主義的協同組合農業は根強いかコンピュータ業界でない"が導かれる
5. 推論4と事実24と事実22から、推論5: "そのボーイズは配信する"が導かれる
6. 推論5から、推論6: "「そのボーイズは配信するかあるいは支配し始めるかまたは両方だ」ということは成り立つ"が導かれる
7. 推論6と事実5から、仮説が導かれる

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