あの国政調査は溶け易くない一方で測り難い
fact1: 仮に「この近親は形成し易くない」ということは正しいとするとその仮面鬱病は皮脂でない一方で形成し易い fact2: もしもこの近親が測り難いということはないならばあの国政調査は形成し易くないがしかし測り難い fact3: もしあの国政調査がアパタイト病でないならばこの近親はアパタイト病である fact4: 「この近親は測り難いししかも皮脂である」ということは間違いである fact5: もし仮にこの近親が測り難くないとするとあの国政調査は溶け易いということはないが測り難い fact6: もし仮にその仮面鬱病がアパタイト病でないならこの近親は溶け易いということはないけどそれは皮脂である fact7: その仮面鬱病は皮脂でない fact8: もしこの近親は測り難いとすると「溶け易くないけれど形成し易い」ということは成り立たない fact9: もし仮に何らかの物が床しかないとするとそれは皮脂だし油っぽい fact10: 仮にこの近親は測り難いとしたら「形成し易くないしそれはアパタイト病だ」ということは事実と異なる fact11: 仮になにがしかの物は油っぽいが床しかないとしたら溶け易くない fact12: 溶け易くない物は皮脂だし測り難い fact13: もしこの近親は皮脂だとすれば「あの国政調査は溶け易くないけど測り難い」ということは確かでない fact14: 「「その実名は取得・登録するしかつそれは面接する」ということは成り立つ」ということは誤っている fact15: もしもその仮面鬱病はアパタイト病であるとすると「形成し易いということはないが皮脂だ」ということは間違いである fact16: この近親は端材でないがそれは溶け易い fact17: この近親は二十五年以上でない fact18: 仮にその仮面鬱病が皮脂でないとしたらこの近親は形成し易くないけどアパタイト病だ fact19: あの国政調査は皮脂である
void -> assump1: 以下のように仮定する。この近親は測り難い; fact10 & assump1 -> int1: 「この近親は形成し易いということはない一方でアパタイト病である」ということは成り立たない; fact18 & fact7 -> int2: この近親は形成し易くないけれどアパタイト病だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この近親は測り難くない; int4 & fact5 -> hypothesis;
その炭酸飲料メーカーは皮脂だ
fact21 -> int5: もしもその炭酸飲料メーカーが溶け易くないとすればそれは皮脂だし測り難い; fact20 -> int6: もしもその炭酸飲料メーカーが油っぽいが床しかないならば溶け易くない;
$facts$ = fact1: 仮に「この近親は形成し易くない」ということは正しいとするとその仮面鬱病は皮脂でない一方で形成し易い fact2: もしもこの近親が測り難いということはないならばあの国政調査は形成し易くないがしかし測り難い fact3: もしあの国政調査がアパタイト病でないならばこの近親はアパタイト病である fact4: 「この近親は測り難いししかも皮脂である」ということは間違いである fact5: もし仮にこの近親が測り難くないとするとあの国政調査は溶け易いということはないが測り難い fact6: もし仮にその仮面鬱病がアパタイト病でないならこの近親は溶け易いということはないけどそれは皮脂である fact7: その仮面鬱病は皮脂でない fact8: もしこの近親は測り難いとすると「溶け易くないけれど形成し易い」ということは成り立たない fact9: もし仮に何らかの物が床しかないとするとそれは皮脂だし油っぽい fact10: 仮にこの近親は測り難いとしたら「形成し易くないしそれはアパタイト病だ」ということは事実と異なる fact11: 仮になにがしかの物は油っぽいが床しかないとしたら溶け易くない fact12: 溶け易くない物は皮脂だし測り難い fact13: もしこの近親は皮脂だとすれば「あの国政調査は溶け易くないけど測り難い」ということは確かでない fact14: 「「その実名は取得・登録するしかつそれは面接する」ということは成り立つ」ということは誤っている fact15: もしもその仮面鬱病はアパタイト病であるとすると「形成し易いということはないが皮脂だ」ということは間違いである fact16: この近親は端材でないがそれは溶け易い fact17: この近親は二十五年以上でない fact18: 仮にその仮面鬱病が皮脂でないとしたらこの近親は形成し易くないけどアパタイト病だ fact19: あの国政調査は皮脂である ; $hypothesis$ = あの国政調査は溶け易くない一方で測り難い ; $proof$ = 
void -> assump1: 以下のように仮定する。この近親は測り難い; fact10 & assump1 -> int1: 「この近親は形成し易いということはない一方でアパタイト病である」ということは成り立たない; fact18 & fact7 -> int2: この近親は形成し易くないけれどアパタイト病だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この近親は測り難くない; int4 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「この近親は形成し易くない」ということは正しいとするとその仮面鬱病は皮脂でない一方で形成し易い
事実2: もしもこの近親が測り難いということはないならばあの国政調査は形成し易くないがしかし測り難い
事実3: もしあの国政調査がアパタイト病でないならばこの近親はアパタイト病である
事実4: 「この近親は測り難いししかも皮脂である」ということは間違いである
事実5: もし仮にこの近親が測り難くないとするとあの国政調査は溶け易いということはないが測り難い
事実6: もし仮にその仮面鬱病がアパタイト病でないならこの近親は溶け易いということはないけどそれは皮脂である
事実7: その仮面鬱病は皮脂でない
事実8: もしこの近親は測り難いとすると「溶け易くないけれど形成し易い」ということは成り立たない
事実9: もし仮に何らかの物が床しかないとするとそれは皮脂だし油っぽい
事実10: 仮にこの近親は測り難いとしたら「形成し易くないしそれはアパタイト病だ」ということは事実と異なる
事実11: 仮になにがしかの物は油っぽいが床しかないとしたら溶け易くない
事実12: 溶け易くない物は皮脂だし測り難い
事実13: もしこの近親は皮脂だとすれば「あの国政調査は溶け易くないけど測り難い」ということは確かでない
事実14: 「「その実名は取得・登録するしかつそれは面接する」ということは成り立つ」ということは誤っている
事実15: もしもその仮面鬱病はアパタイト病であるとすると「形成し易いということはないが皮脂だ」ということは間違いである
事実16: この近親は端材でないがそれは溶け易い
事実17: この近親は二十五年以上でない
事実18: 仮にその仮面鬱病が皮脂でないとしたらこの近親は形成し易くないけどアパタイト病だ
事実19: あの国政調査は皮脂である

仮説: あの国政調査は溶け易くない一方で測り難い
1. 仮定1: 以下のように仮定する。この近親は測り難い
2. 事実10と仮定1から、推論1: "「この近親は形成し易いということはない一方でアパタイト病である」ということは成り立たない"が導かれる
3. 事実18と事実7から、推論2: "この近親は形成し易くないけれどアパタイト病だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この近親は測り難くない"が導かれる
6. 推論4と事実5から、仮説が導かれる

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