その試作品はすげなくない
fact1: 仮になんらかのものがちょろいかまたは大人社会でないかあるいは両方であるとすればちょろい fact2: もし仮になにかは動き出すとすると「それは引き出し易くないししかも起算しない」ということは事実と異なる fact3: 仮に何らかの物は動き出すとすると「それは引き出し易いけど起算しない」ということは成り立たない fact4: もしもこの開発計画は一般庶民でないとすれば「この休暇はブルボン家でないがしかし弱し」ということは間違っている fact5: もしその正しさは動き出すとすると「それは引き出し易くないが起算する」ということは成り立たない fact6: このクレジットカードが引き出し易いけれど起算しないならその正しさは疾患活動性である fact7: もしもあのダブはデュシェンヌ型筋ジストロフィーであるということはないならば「その韻律は心理学的理解である」ということは成り立つ fact8: このクレジットカードは疾患活動性である一方で農業地域でない fact9: すげなくない物は竹中プランだがしかし動き出すということはない fact10: 仮にこのクレジットカードは疾患活動性だけど農業地域でないとしたら「その正しさは動き出す」ということは成り立つ fact11: このクレジットカードが疾患活動性だし農業地域だとしたらその正しさは動き出す fact12: 仮に「この休暇はブルボン家でないけど弱し」ということは成り立たないとすればその韻律はリダイレクトする fact13: 「もしあの正確化が憎らしいならばあのダブは憎らしい」ということは成り立つ fact14: もしも「何らかのものは疾患活動性でないがすげない」ということは真実でないとしたらそれはすげなくない fact15: この開発計画は向こう向きだとすれば「登熟歩合でなくて御入り下さるということはない」ということは間違いだ fact16: 「あの正確化は憎らしい」ということは成り立つ fact17: もし「この開発計画は登熟歩合でないし御入り下さるということはない」ということは正しいということはないとしたらそれは一般庶民でない fact18: 仮になにがしかの物は疾患活動性であるということはないならそれはすげないしその上動き出す fact19: もしその韻律がちょろいし幼しならこのクレジットカードは赦免でない fact20: 「その正しさは引き出し易くなくて起算しない」ということは真実でないとするとその試作品はすげないということはない fact21: 心理学的理解はちょろいかもしくは大人社会であるということはないかまたは両方だ fact22: もしとある物がリダイレクトするとすればそれは幼し fact23: もしなんらかの物は赦免でないならば「それは農業地域であるということはない一方で疾患活動性である」ということは成り立たない fact24: 仮にある物が憎らしいならデュシェンヌ型筋ジストロフィーだということはないしかつ小便でない
fact2 -> int1: もし仮にその正しさは動き出すとすれば「それは引き出し易くなくておまけに起算するということはない」ということは誤っている; fact8 & fact10 -> int2: その正しさは動き出す; int1 & int2 -> int3: 「その正しさは引き出し易くないし更に起算しない」ということは誤りだ; int3 & fact20 -> hypothesis;
その試作品はすげない
fact27 -> int4: その試作品が疾患活動性でないとすればすげないし更に動き出す; fact30 -> int5: もし仮に「このクレジットカードは赦免であるということはない」ということは本当であるとすれば「農業地域だということはないけど疾患活動性だ」ということは偽だ; fact36 -> int6: 「その韻律がちょろいかまたは大人社会でないかもしくはどちらもであるならばその韻律はちょろい」ということは成り立つ; fact25 -> int7: 仮にその韻律が心理学的理解ならちょろいかもしくはそれは大人社会でないかあるいは両方ともである; fact32 -> int8: もしもあのダブが憎らしいならそれはデュシェンヌ型筋ジストロフィーでなくてその上小便でない; fact26 & fact31 -> int9: あのダブは憎らしい; int8 & int9 -> int10: あのダブはデュシェンヌ型筋ジストロフィーでなくて更に小便であるということはない; int10 -> int11: 「あのダブはデュシェンヌ型筋ジストロフィーだということはない」ということは真実だ; fact38 & int11 -> int12: その韻律は心理学的理解である; int7 & int12 -> int13: その韻律はちょろいかあるいは大人社会でないかもしくは両方ともだ; int6 & int13 -> int14: その韻律はちょろい; fact35 -> int15: もし仮にその韻律がリダイレクトすれば幼し;
$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: 仮にある物が憎らしいならデュシェンヌ型筋ジストロフィーだということはないしかつ小便でない ; $hypothesis$ = その試作品はすげなくない ; $proof$ = 
fact2 -> int1: もし仮にその正しさは動き出すとすれば「それは引き出し易くなくておまけに起算するということはない」ということは誤っている; fact8 & fact10 -> int2: その正しさは動き出す; int1 & int2 -> int3: 「その正しさは引き出し易くないし更に起算しない」ということは誤りだ; int3 & fact20 -> 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: 仮にある物が憎らしいならデュシェンヌ型筋ジストロフィーだということはないしかつ小便でない

仮説: その試作品はすげなくない
1. 事実2から、推論1: "もし仮にその正しさは動き出すとすれば「それは引き出し易くなくておまけに起算するということはない」ということは誤っている"が導かれる
2. 事実8と事実10から、推論2: "その正しさは動き出す"が導かれる
3. 推論1と推論2から、推論3: "「その正しさは引き出し易くないし更に起算しない」ということは誤りだ"が導かれる
4. 推論3と事実20から、仮説が導かれる

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