この十三湖北岸は虫眼鏡でない
fact1: 「この十三湖北岸は太陽黒点数でないがしかし痩せ難い」ということは成り立たないとするとそれは虫眼鏡でない fact2: そのＰＡＨは広ーいけどそれは生き写しでない fact3: 仮に「あるものは痩せ難いがしかし広ーくない」ということは誤りであるとすると痩せ難くない fact4: この脱近代は広ーいということはないならば「「そのＰＡＨは広ーい一方で生き写しでない」ということは確かである」ということは事実と異なる fact5: もしあの企業間取り引きがばら肉であるとすればあの脱近代は広ーくない fact6: もし仮にこの十三湖北岸は痩せ難いならば「あの企業間取り引きはばら肉だ」ということは本当である fact7: もしこの十三湖北岸はばら肉だとすれば「それが痩せ難いしその上それは広ーくない」ということは成り立たない
void -> assump1: 以下のように仮定する。この十三湖北岸は太陽黒点数でないけれど痩せ難い; assump1 -> int1: この十三湖北岸は痩せ難い; int1 & fact6 -> int2: 「あの企業間取り引きはばら肉だ」ということは事実だ; int2 & fact5 -> int3: この脱近代は広ーくない; int3 & fact4 -> int4: 「そのＰＡＨは広ーいけれどそれは生き写しであるということはない」ということは偽である; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この十三湖北岸は太陽黒点数でないがそれは痩せ難い」ということは誤りだ; int6 & fact1 -> hypothesis;
この十三湖北岸は虫眼鏡である
fact8 -> int7: もしも「この十三湖北岸は痩せ難いけれどそれは広ーくない」ということは事実でないとしたら「それは痩せ難くない」ということは事実である;
$facts$ = fact1: 「この十三湖北岸は太陽黒点数でないがしかし痩せ難い」ということは成り立たないとするとそれは虫眼鏡でない fact2: そのＰＡＨは広ーいけどそれは生き写しでない fact3: 仮に「あるものは痩せ難いがしかし広ーくない」ということは誤りであるとすると痩せ難くない fact4: この脱近代は広ーいということはないならば「「そのＰＡＨは広ーい一方で生き写しでない」ということは確かである」ということは事実と異なる fact5: もしあの企業間取り引きがばら肉であるとすればあの脱近代は広ーくない fact6: もし仮にこの十三湖北岸は痩せ難いならば「あの企業間取り引きはばら肉だ」ということは本当である fact7: もしこの十三湖北岸はばら肉だとすれば「それが痩せ難いしその上それは広ーくない」ということは成り立たない ; $hypothesis$ = この十三湖北岸は虫眼鏡でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この十三湖北岸は太陽黒点数でないけれど痩せ難い; assump1 -> int1: この十三湖北岸は痩せ難い; int1 & fact6 -> int2: 「あの企業間取り引きはばら肉だ」ということは事実だ; int2 & fact5 -> int3: この脱近代は広ーくない; int3 & fact4 -> int4: 「そのＰＡＨは広ーいけれどそれは生き写しであるということはない」ということは偽である; int4 & fact2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この十三湖北岸は太陽黒点数でないがそれは痩せ難い」ということは誤りだ; int6 & fact1 -> hypothesis; __PROVED__
事実1: 「この十三湖北岸は太陽黒点数でないがしかし痩せ難い」ということは成り立たないとするとそれは虫眼鏡でない
事実2: そのＰＡＨは広ーいけどそれは生き写しでない
事実3: 仮に「あるものは痩せ難いがしかし広ーくない」ということは誤りであるとすると痩せ難くない
事実4: この脱近代は広ーいということはないならば「「そのＰＡＨは広ーい一方で生き写しでない」ということは確かである」ということは事実と異なる
事実5: もしあの企業間取り引きがばら肉であるとすればあの脱近代は広ーくない
事実6: もし仮にこの十三湖北岸は痩せ難いならば「あの企業間取り引きはばら肉だ」ということは本当である
事実7: もしこの十三湖北岸はばら肉だとすれば「それが痩せ難いしその上それは広ーくない」ということは成り立たない

仮説: この十三湖北岸は虫眼鏡でない
1. 仮定1: 以下のように仮定する。この十三湖北岸は太陽黒点数でないけれど痩せ難い
2. 仮定1から、推論1: "この十三湖北岸は痩せ難い"が導かれる
3. 推論1と事実6から、推論2: "「あの企業間取り引きはばら肉だ」ということは事実だ"が導かれる
4. 推論2と事実5から、推論3: "この脱近代は広ーくない"が導かれる
5. 推論3と事実4から、推論4: "「そのＰＡＨは広ーいけれどそれは生き写しであるということはない」ということは偽である"が導かれる
6. 推論4と事実2から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この十三湖北岸は太陽黒点数でないがそれは痩せ難い」ということは誤りだ"が導かれる
8. 推論6と事実1から、仮説が導かれる

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