「「もしもＮ端でないなら学び直さない」物はある」ということは誤っている
fact1: この最短記録が学び直すということはないとするとこの安全アカデミーはＮ端でないかもしくは御稽古するかもしくはどちらもだ fact2: もしその抗菌は借り易くないとすれば「この各機はリーダーシップ・マネジメント論であるがしかしそれは狙われ易くない」ということは偽である fact3: もしもその社歴が物々しいならばそれは御辛い fact4: 「もし仮にＮ端でないとしたら学び直す」物はある fact5: 「もし仮に買収しないとしたら油っぽい」物はある fact6: この老少善悪はＮ端であるということはない fact7: 仮に「Ｎ端でないかまたは御稽古するかもしくはどちらもである」物はあるとすれば「その細胞系譜はＮ端でない」ということは正しい fact8: 仮にこの安全アカデミーが学び直すとするとそれはＮ端である fact9: 仮にこの後家さんが借り易いならその抗菌は借り易くない fact10: もし仮に「「その科学特捜隊は学び直すし加えて入れ易い」ということは偽である」ということは成り立つとすればあの最短記録は学び直さない fact11: もし「なにかはリーダーシップ・マネジメント論だが狙われ易くない」ということは成り立つということはないとしたら狙われ易い fact12: 仮に「渡仏する」物があるとしたらあの武勇は出出すししかも問題解決能力である fact13: もしあの武勇は出出すし問題解決能力ならば「その幼体は出出さない」ということは真実だ fact14: とある物は通信機器ならば「借り易い」ということは事実である fact15: 「出出さない」ものがあるとするとこの後家さんは使用料金でないけれど通信機器だ fact16: 「「渡仏する」物はある」ということは本当だ
void -> assump1: 以下のように仮定する。この安全アカデミーは学び直す; fact8 & assump1 -> int1: この安全アカデミーはＮ端だ; void -> assump2: 以下のように仮定する。この安全アカデミーはＮ端でない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この安全アカデミーは学び直さない; [assump2] & int3 -> int4: もし仮にこの安全アカデミーはＮ端でないとしたらそれは学び直さない; int4 -> hypothesis;
その細胞系譜はＮ端でない
fact23 -> int5: もし「この各機はリーダーシップ・マネジメント論だけど狙われ易くない」ということは誤りならそれは狙われ易い; fact20 -> int6: もしこの後家さんが通信機器だとすればそれは借り易い; fact26 & fact19 -> int7: あの武勇は出出すしおまけに問題解決能力だ; fact27 & int7 -> int8: その幼体は出出さない; int8 -> int9: 何らかのものは出出さない; int9 & fact25 -> int10: この後家さんは使用料金でないけれど通信機器だ; int10 -> int11: この後家さんは通信機器だ; int6 & int11 -> int12: この後家さんは借り易い; fact22 & int12 -> int13: その抗菌は借り易くない; fact18 & int13 -> int14: 「この各機はリーダーシップ・マネジメント論である一方で狙われ易くない」ということは成り立たない; int5 & int14 -> int15: 「この各機は狙われ易い」ということは真実である; int15 -> int16: 「「「狙われ易い」ということは成り立つ」物はある」ということは成り立つ;
$facts$ = fact1: この最短記録が学び直すということはないとするとこの安全アカデミーはＮ端でないかもしくは御稽古するかもしくはどちらもだ fact2: もしその抗菌は借り易くないとすれば「この各機はリーダーシップ・マネジメント論であるがしかしそれは狙われ易くない」ということは偽である fact3: もしもその社歴が物々しいならばそれは御辛い fact4: 「もし仮にＮ端でないとしたら学び直す」物はある fact5: 「もし仮に買収しないとしたら油っぽい」物はある fact6: この老少善悪はＮ端であるということはない fact7: 仮に「Ｎ端でないかまたは御稽古するかもしくはどちらもである」物はあるとすれば「その細胞系譜はＮ端でない」ということは正しい fact8: 仮にこの安全アカデミーが学び直すとするとそれはＮ端である fact9: 仮にこの後家さんが借り易いならその抗菌は借り易くない fact10: もし仮に「「その科学特捜隊は学び直すし加えて入れ易い」ということは偽である」ということは成り立つとすればあの最短記録は学び直さない fact11: もし「なにかはリーダーシップ・マネジメント論だが狙われ易くない」ということは成り立つということはないとしたら狙われ易い fact12: 仮に「渡仏する」物があるとしたらあの武勇は出出すししかも問題解決能力である fact13: もしあの武勇は出出すし問題解決能力ならば「その幼体は出出さない」ということは真実だ fact14: とある物は通信機器ならば「借り易い」ということは事実である fact15: 「出出さない」ものがあるとするとこの後家さんは使用料金でないけれど通信機器だ fact16: 「「渡仏する」物はある」ということは本当だ ; $hypothesis$ = 「「もしもＮ端でないなら学び直さない」物はある」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この安全アカデミーは学び直す; fact8 & assump1 -> int1: この安全アカデミーはＮ端だ; void -> assump2: 以下のように仮定する。この安全アカデミーはＮ端でない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この安全アカデミーは学び直さない; [assump2] & int3 -> int4: もし仮にこの安全アカデミーはＮ端でないとしたらそれは学び直さない; int4 -> hypothesis; __DISPROVED__
事実1: この最短記録が学び直すということはないとするとこの安全アカデミーはＮ端でないかもしくは御稽古するかもしくはどちらもだ
事実2: もしその抗菌は借り易くないとすれば「この各機はリーダーシップ・マネジメント論であるがしかしそれは狙われ易くない」ということは偽である
事実3: もしもその社歴が物々しいならばそれは御辛い
事実4: 「もし仮にＮ端でないとしたら学び直す」物はある
事実5: 「もし仮に買収しないとしたら油っぽい」物はある
事実6: この老少善悪はＮ端であるということはない
事実7: 仮に「Ｎ端でないかまたは御稽古するかもしくはどちらもである」物はあるとすれば「その細胞系譜はＮ端でない」ということは正しい
事実8: 仮にこの安全アカデミーが学び直すとするとそれはＮ端である
事実9: 仮にこの後家さんが借り易いならその抗菌は借り易くない
事実10: もし仮に「「その科学特捜隊は学び直すし加えて入れ易い」ということは偽である」ということは成り立つとすればあの最短記録は学び直さない
事実11: もし「なにかはリーダーシップ・マネジメント論だが狙われ易くない」ということは成り立つということはないとしたら狙われ易い
事実12: 仮に「渡仏する」物があるとしたらあの武勇は出出すししかも問題解決能力である
事実13: もしあの武勇は出出すし問題解決能力ならば「その幼体は出出さない」ということは真実だ
事実14: とある物は通信機器ならば「借り易い」ということは事実である
事実15: 「出出さない」ものがあるとするとこの後家さんは使用料金でないけれど通信機器だ
事実16: 「「渡仏する」物はある」ということは本当だ

仮説: 「「もしもＮ端でないなら学び直さない」物はある」ということは誤っている
1. 仮定1: 以下のように仮定する。この安全アカデミーは学び直す
2. 事実8と仮定1から、推論1: "この安全アカデミーはＮ端だ"が導かれる
3. 仮定2: 以下のように仮定する。この安全アカデミーはＮ端でない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この安全アカデミーは学び直さない"が導かれる
6. [仮定2]と推論3から、推論4: "もし仮にこの安全アカデミーはＮ端でないとしたらそれは学び直さない"が導かれる
7. 推論4から、仮説が否定される

よって、仮説が否定されました。