あの不法入国が害しないとすれば太くない
fact1: 掛け易くないものは太くない fact2: 中核的信念は例外無い fact3: もし仮に何かは掛け易くないとしたら太い fact4: あの不法入国が掛け易いということはないならば太い fact5: 見境無くない物は中核的信念である fact6: 仮にあの不法入国が出来易くないとすると照らし合わせない fact7: あの不法入国が掛け易いとすると害する fact8: 「あの観光業界は正しし長ったらしい」ということは偽である fact9: 「その十月需給好転は害する」ということは成り立つ fact10: 正しということはない物は其れっぽいけど見境無くない fact11: あの不法入国は太い fact12: あの不法入国は贋造でない fact13: 仮に何らかの物は入試学力であるとしたら「掛け易いけど太くない」ということは間違っている fact14: もしもあの不法入国が害しないとすれば太い fact15: 「「正しし長ったらしい」ということは本当でない」物があるとしたらあの不法入国は正しということはない fact16: その全同教は太い fact17: あの不法入国は浅くない fact18: 「例外無い物は入試学力である」ということは確かである fact19: 仮に「あの不法入国は掛け易いけれど太くない」ということは誤りならばあのフィンランド人は害しない
void -> assump1: 以下のように仮定する。あの不法入国は掛け易い; fact7 & assump1 -> int1: あの不法入国は害する; void -> assump2: 以下のように仮定する。あの不法入国は害しない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの不法入国は掛け易くない; fact1 -> int4: もしもあの不法入国が掛け易くないならそれは太くない; int3 & int4 -> int5: あの不法入国は太いということはない; [assump2] & int5 -> hypothesis;
あのフィンランド人は害するということはない
fact22 -> int6: もし「あの不法入国は入試学力だ」ということは事実なら「掛け易い一方で太いということはない」ということは成り立たない; fact21 -> int7: もし仮に「あの不法入国は例外無い」ということは本当であるとするとそれは入試学力だ; fact24 -> int8: もしあの不法入国は中核的信念であるとすれば例外無い; fact25 -> int9: 「あの不法入国は見境無くない」ということは真実だとすると中核的信念だ; fact23 -> int10: あの不法入国が正しないとすればそれは其れっぽいがしかし見境無くない; fact20 -> int11: 「「正ししおまけに長ったらしい」ということは間違っている」物はある; int11 & fact26 -> int12: あの不法入国は正しない; int10 & int12 -> int13: あの不法入国は其れっぽいがしかし見境無くない; int13 -> int14: あの不法入国は見境無いということはない; int9 & int14 -> int15: あの不法入国は中核的信念である; int8 & int15 -> int16: あの不法入国は例外無い; int7 & int16 -> int17: あの不法入国は入試学力だ; int6 & int17 -> int18: 「あの不法入国は掛け易いがしかしそれは太くない」ということは成り立たない; fact27 & int18 -> hypothesis;
$facts$ = fact1: 掛け易くないものは太くない fact2: 中核的信念は例外無い fact3: もし仮に何かは掛け易くないとしたら太い fact4: あの不法入国が掛け易いということはないならば太い fact5: 見境無くない物は中核的信念である fact6: 仮にあの不法入国が出来易くないとすると照らし合わせない fact7: あの不法入国が掛け易いとすると害する fact8: 「あの観光業界は正しし長ったらしい」ということは偽である fact9: 「その十月需給好転は害する」ということは成り立つ fact10: 正しということはない物は其れっぽいけど見境無くない fact11: あの不法入国は太い fact12: あの不法入国は贋造でない fact13: 仮に何らかの物は入試学力であるとしたら「掛け易いけど太くない」ということは間違っている fact14: もしもあの不法入国が害しないとすれば太い fact15: 「「正しし長ったらしい」ということは本当でない」物があるとしたらあの不法入国は正しということはない fact16: その全同教は太い fact17: あの不法入国は浅くない fact18: 「例外無い物は入試学力である」ということは確かである fact19: 仮に「あの不法入国は掛け易いけれど太くない」ということは誤りならばあのフィンランド人は害しない ; $hypothesis$ = あの不法入国が害しないとすれば太くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの不法入国は掛け易い; fact7 & assump1 -> int1: あの不法入国は害する; void -> assump2: 以下のように仮定する。あの不法入国は害しない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの不法入国は掛け易くない; fact1 -> int4: もしもあの不法入国が掛け易くないならそれは太くない; int3 & int4 -> int5: あの不法入国は太いということはない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: 掛け易くないものは太くない
事実2: 中核的信念は例外無い
事実3: もし仮に何かは掛け易くないとしたら太い
事実4: あの不法入国が掛け易いということはないならば太い
事実5: 見境無くない物は中核的信念である
事実6: 仮にあの不法入国が出来易くないとすると照らし合わせない
事実7: あの不法入国が掛け易いとすると害する
事実8: 「あの観光業界は正しし長ったらしい」ということは偽である
事実9: 「その十月需給好転は害する」ということは成り立つ
事実10: 正しということはない物は其れっぽいけど見境無くない
事実11: あの不法入国は太い
事実12: あの不法入国は贋造でない
事実13: 仮に何らかの物は入試学力であるとしたら「掛け易いけど太くない」ということは間違っている
事実14: もしもあの不法入国が害しないとすれば太い
事実15: 「「正しし長ったらしい」ということは本当でない」物があるとしたらあの不法入国は正しということはない
事実16: その全同教は太い
事実17: あの不法入国は浅くない
事実18: 「例外無い物は入試学力である」ということは確かである
事実19: 仮に「あの不法入国は掛け易いけれど太くない」ということは誤りならばあのフィンランド人は害しない

仮説: あの不法入国が害しないとすれば太くない
1. 仮定1: 以下のように仮定する。あの不法入国は掛け易い
2. 事実7と仮定1から、推論1: "あの不法入国は害する"が導かれる
3. 仮定2: 以下のように仮定する。あの不法入国は害しない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの不法入国は掛け易くない"が導かれる
6. 事実1から、推論4: "もしもあの不法入国が掛け易くないならそれは太くない"が導かれる
7. 推論3と推論4から、推論5: "あの不法入国は太いということはない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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