この六百メートル以下は公告しない
fact1: もしもあの受給資格が掩護するということはないならこの六百メートル以下は地元企業でなくてそれは繋がり易くない fact2: 「あるものは繋がり易いし掩護する」ということは事実と異なるとすると「繋がり易くない」ということは成り立つ fact3: もしもなんらかのものは地元企業であるということはないしおまけに繋がり易くないとするとそれは公告しない fact4: あの受給資格は仲睦まじくないがしかし感じ難い fact5: 「もしあの受給資格が仲睦まじくないけれど感じ難いならばあの受給資格は地元企業である」ということは正しい fact6: あの受給資格は仲睦まじくない fact7: このインキュベータは繋がり易いとしたら「この六百メートル以下は公告する」ということは成り立つ fact8: 仮に「あの受給資格は地元企業である」ということは事実と異ならないとすればあのインキュベータは繋がり易い fact9: もし仮にあの受給資格は仲睦まじいしおまけに感じ難いならそれは地元企業である fact10: あのラップトップは地元企業だ fact11: 仮にある物は地元企業でないならば「それは繋がり易いし掩護する」ということは成り立たない
fact5 & fact4 -> int1: あの受給資格は地元企業だ; int1 & fact8 -> int2: 「このインキュベータは繋がり易い」ということは正しい; int2 & fact7 -> hypothesis;
fact5 & fact4 -> int1: {B}{a}; int1 & fact8 -> int2: {A}{b}; int2 & fact7 -> hypothesis;
あのアルコール性痴呆は公告するということはないけれどつく
fact13 -> int3: もしもあの受給資格は地元企業でないなら「それは繋がり易いしかつそれは掩護する」ということは間違っている; fact12 -> int4: 「「あのアルコール性痴呆が繋がり易いしその上掩護する」ということは誤りならあのアルコール性痴呆は繋がり易くない」ということは確かである;
$facts$ = fact1: もしもあの受給資格が掩護するということはないならこの六百メートル以下は地元企業でなくてそれは繋がり易くない fact2: 「あるものは繋がり易いし掩護する」ということは事実と異なるとすると「繋がり易くない」ということは成り立つ fact3: もしもなんらかのものは地元企業であるということはないしおまけに繋がり易くないとするとそれは公告しない fact4: あの受給資格は仲睦まじくないがしかし感じ難い fact5: 「もしあの受給資格が仲睦まじくないけれど感じ難いならばあの受給資格は地元企業である」ということは正しい fact6: あの受給資格は仲睦まじくない fact7: このインキュベータは繋がり易いとしたら「この六百メートル以下は公告する」ということは成り立つ fact8: 仮に「あの受給資格は地元企業である」ということは事実と異ならないとすればあのインキュベータは繋がり易い fact9: もし仮にあの受給資格は仲睦まじいしおまけに感じ難いならそれは地元企業である fact10: あのラップトップは地元企業だ fact11: 仮にある物は地元企業でないならば「それは繋がり易いし掩護する」ということは成り立たない ; $hypothesis$ = この六百メートル以下は公告しない ; $proof$ = 
fact5 & fact4 -> int1: あの受給資格は地元企業だ; int1 & fact8 -> int2: 「このインキュベータは繋がり易い」ということは正しい; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもあの受給資格が掩護するということはないならこの六百メートル以下は地元企業でなくてそれは繋がり易くない
事実2: 「あるものは繋がり易いし掩護する」ということは事実と異なるとすると「繋がり易くない」ということは成り立つ
事実3: もしもなんらかのものは地元企業であるということはないしおまけに繋がり易くないとするとそれは公告しない
事実4: あの受給資格は仲睦まじくないがしかし感じ難い
事実5: 「もしあの受給資格が仲睦まじくないけれど感じ難いならばあの受給資格は地元企業である」ということは正しい
事実6: あの受給資格は仲睦まじくない
事実7: このインキュベータは繋がり易いとしたら「この六百メートル以下は公告する」ということは成り立つ
事実8: 仮に「あの受給資格は地元企業である」ということは事実と異ならないとすればあのインキュベータは繋がり易い
事実9: もし仮にあの受給資格は仲睦まじいしおまけに感じ難いならそれは地元企業である
事実10: あのラップトップは地元企業だ
事実11: 仮にある物は地元企業でないならば「それは繋がり易いし掩護する」ということは成り立たない

仮説: この六百メートル以下は公告しない
1. 事実5と事実4から、推論1: "あの受給資格は地元企業だ"が導かれる
2. 推論1と事実8から、推論2: "「このインキュベータは繋がり易い」ということは正しい"が導かれる
3. 推論2と事実7から、仮説が否定される

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