「この身障者は入れ易くないがしかし具象性だ」ということは事実だ
fact1: もし仮になんらかの物は離陸しないなら「それは少なくないしかつ薄暗くない」ということは間違いである fact2: その双眼鏡はＣＬ値であるということはない fact3: もしもあの圧縮比がＣＬ値であるかまたは近付き難いかまたは両方であるならばその双眼鏡はラテックスでない fact4: この身障者が具象性でないとするとその双眼鏡は近付き難いということはないものでありしかもラテックスである fact5: もしもあの圧縮比が具象性であるか入れ易いかもしくは両方ともならばこの身障者は近付き難くない fact6: もしその双眼鏡がラテックスでないならばこの身障者は入れ易くないけれど具象性である fact7: 仮に「あの圧縮比は近付き難くないかあるいはラテックスであるかまたは両方だ」ということは誤っているとしたらこの身障者はＣＬ値である fact8: もしもとあるものは残り難いなら「近付き難くないかまたはラテックスであるかまたは両方である」ということは成り立たない fact9: 「その双眼鏡は近付き難くない」ということは真実である fact10: なにがしかの物は少ないとすれば「残り難い」ということは事実である fact11: あの圧縮比が近付き難いならばあの双眼鏡はラテックスでない fact12: あの中・高校生はインスリン抵抗性でないけれど近付き難い fact13: 仮に「その双眼鏡は離陸するしサンスクリット語である」ということは誤っているとすれば離陸しない fact14: 「その双眼鏡は離陸するしかつサンスクリット語だ」ということは成り立つということはない fact15: もし何かはＣＬ値であるとしたら「それは入れ易くないし具象性である」ということは本当でない fact16: この身障者は具象性だ fact17: 「あの圧縮比は具象性だ」ということは確かである fact18: あの圧縮比はＣＬ値だ fact19: その双眼鏡が入れ易くないとすればこの身障者はラテックスでないがＣＬ値である fact20: この身障者は近付き難くない fact21: もしその双眼鏡がラテックスでないならばあの身障者は具象性である
fact18 -> int1: あの圧縮比はＣＬ値であるかあるいはそれは近付き難い; int1 & fact3 -> int2: その双眼鏡はラテックスでない; int2 & fact6 -> hypothesis;
fact18 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact6 -> hypothesis;
「「この身障者は入れ易いということはないけど具象性である」ということは確かだということはない」ということは真実だ
fact25 -> int3: 仮にこの身障者はＣＬ値であるとすれば「それは入れ易くなくて具象性だ」ということは誤りである; fact27 -> int4: あの圧縮比は残り難いなら「近付き難くないかラテックスであるか両方ともである」ということは真実でない; fact23 -> int5: もしあの圧縮比が少ないとしたらそれは残り難い; fact22 -> int6: 仮にその双眼鏡は離陸しないなら「「それは少なくないしそれは薄暗くない」ということは成り立つ」ということは成り立たない; fact28 & fact24 -> int7: その双眼鏡は離陸しない; int6 & int7 -> int8: 「その双眼鏡は少ないということはないし更に薄暗いということはない」ということは成り立たない; int8 -> int9: 「「少なくなくて薄暗くない」ということは成り立たない」物はある;
$facts$ = fact1: もし仮になんらかの物は離陸しないなら「それは少なくないしかつ薄暗くない」ということは間違いである fact2: その双眼鏡はＣＬ値であるということはない fact3: もしもあの圧縮比がＣＬ値であるかまたは近付き難いかまたは両方であるならばその双眼鏡はラテックスでない fact4: この身障者が具象性でないとするとその双眼鏡は近付き難いということはないものでありしかもラテックスである fact5: もしもあの圧縮比が具象性であるか入れ易いかもしくは両方ともならばこの身障者は近付き難くない fact6: もしその双眼鏡がラテックスでないならばこの身障者は入れ易くないけれど具象性である fact7: 仮に「あの圧縮比は近付き難くないかあるいはラテックスであるかまたは両方だ」ということは誤っているとしたらこの身障者はＣＬ値である fact8: もしもとあるものは残り難いなら「近付き難くないかまたはラテックスであるかまたは両方である」ということは成り立たない fact9: 「その双眼鏡は近付き難くない」ということは真実である fact10: なにがしかの物は少ないとすれば「残り難い」ということは事実である fact11: あの圧縮比が近付き難いならばあの双眼鏡はラテックスでない fact12: あの中・高校生はインスリン抵抗性でないけれど近付き難い fact13: 仮に「その双眼鏡は離陸するしサンスクリット語である」ということは誤っているとすれば離陸しない fact14: 「その双眼鏡は離陸するしかつサンスクリット語だ」ということは成り立つということはない fact15: もし何かはＣＬ値であるとしたら「それは入れ易くないし具象性である」ということは本当でない fact16: この身障者は具象性だ fact17: 「あの圧縮比は具象性だ」ということは確かである fact18: あの圧縮比はＣＬ値だ fact19: その双眼鏡が入れ易くないとすればこの身障者はラテックスでないがＣＬ値である fact20: この身障者は近付き難くない fact21: もしその双眼鏡がラテックスでないならばあの身障者は具象性である ; $hypothesis$ = 「この身障者は入れ易くないがしかし具象性だ」ということは事実だ ; $proof$ = 
fact18 -> int1: あの圧縮比はＣＬ値であるかあるいはそれは近付き難い; int1 & fact3 -> int2: その双眼鏡はラテックスでない; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物は離陸しないなら「それは少なくないしかつ薄暗くない」ということは間違いである
事実2: その双眼鏡はＣＬ値であるということはない
事実3: もしもあの圧縮比がＣＬ値であるかまたは近付き難いかまたは両方であるならばその双眼鏡はラテックスでない
事実4: この身障者が具象性でないとするとその双眼鏡は近付き難いということはないものでありしかもラテックスである
事実5: もしもあの圧縮比が具象性であるか入れ易いかもしくは両方ともならばこの身障者は近付き難くない
事実6: もしその双眼鏡がラテックスでないならばこの身障者は入れ易くないけれど具象性である
事実7: 仮に「あの圧縮比は近付き難くないかあるいはラテックスであるかまたは両方だ」ということは誤っているとしたらこの身障者はＣＬ値である
事実8: もしもとあるものは残り難いなら「近付き難くないかまたはラテックスであるかまたは両方である」ということは成り立たない
事実9: 「その双眼鏡は近付き難くない」ということは真実である
事実10: なにがしかの物は少ないとすれば「残り難い」ということは事実である
事実11: あの圧縮比が近付き難いならばあの双眼鏡はラテックスでない
事実12: あの中・高校生はインスリン抵抗性でないけれど近付き難い
事実13: 仮に「その双眼鏡は離陸するしサンスクリット語である」ということは誤っているとすれば離陸しない
事実14: 「その双眼鏡は離陸するしかつサンスクリット語だ」ということは成り立つということはない
事実15: もし何かはＣＬ値であるとしたら「それは入れ易くないし具象性である」ということは本当でない
事実16: この身障者は具象性だ
事実17: 「あの圧縮比は具象性だ」ということは確かである
事実18: あの圧縮比はＣＬ値だ
事実19: その双眼鏡が入れ易くないとすればこの身障者はラテックスでないがＣＬ値である
事実20: この身障者は近付き難くない
事実21: もしその双眼鏡がラテックスでないならばあの身障者は具象性である

仮説: 「この身障者は入れ易くないがしかし具象性だ」ということは事実だ
1. 事実18から、推論1: "あの圧縮比はＣＬ値であるかあるいはそれは近付き難い"が導かれる
2. 推論1と事実3から、推論2: "その双眼鏡はラテックスでない"が導かれる
3. 推論2と事実6から、仮説が導かれる

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