この周辺組織は届き難い
fact1: あの肥満恐怖は浅い fact2: もしも「この先進資本主義諸国はフォーチュンでないけどそれはザバイヨーネソースである」ということは成り立たないならこの周辺組織は届き難い fact3: もし仮にこの土管はザバイヨーネソースでないとすれば「この先進資本主義諸国はフォーチュンでないがそれはザバイヨーネソースである」ということは成り立たない fact4: 「この先進資本主義諸国はフォーチュンであるしそれにザバイヨーネソースである」ということは事実と異なる fact5: もし仮にこの土管はザバイヨーネソースでないならば「「この先進資本主義諸国はフォーチュンであるしそれにザバイヨーネソースである」ということは誤っている」ということは成り立つ fact6: もしあの肥満恐怖が浅いならばこの土管はザバイヨーネソースでない
fact6 & fact1 -> int1: この土管はザバイヨーネソースであるということはない; int1 & fact3 -> int2: 「この先進資本主義諸国はフォーチュンでないがしかしそれはザバイヨーネソースである」ということは嘘だ; int2 & fact2 -> hypothesis;
$facts$ = fact1: あの肥満恐怖は浅い fact2: もしも「この先進資本主義諸国はフォーチュンでないけどそれはザバイヨーネソースである」ということは成り立たないならこの周辺組織は届き難い fact3: もし仮にこの土管はザバイヨーネソースでないとすれば「この先進資本主義諸国はフォーチュンでないがそれはザバイヨーネソースである」ということは成り立たない fact4: 「この先進資本主義諸国はフォーチュンであるしそれにザバイヨーネソースである」ということは事実と異なる fact5: もし仮にこの土管はザバイヨーネソースでないならば「「この先進資本主義諸国はフォーチュンであるしそれにザバイヨーネソースである」ということは誤っている」ということは成り立つ fact6: もしあの肥満恐怖が浅いならばこの土管はザバイヨーネソースでない ; $hypothesis$ = この周辺組織は届き難い ; $proof$ = 
fact6 & fact1 -> int1: この土管はザバイヨーネソースであるということはない; int1 & fact3 -> int2: 「この先進資本主義諸国はフォーチュンでないがしかしそれはザバイヨーネソースである」ということは嘘だ; int2 & fact2 -> hypothesis; __PROVED__
事実1: あの肥満恐怖は浅い
事実2: もしも「この先進資本主義諸国はフォーチュンでないけどそれはザバイヨーネソースである」ということは成り立たないならこの周辺組織は届き難い
事実3: もし仮にこの土管はザバイヨーネソースでないとすれば「この先進資本主義諸国はフォーチュンでないがそれはザバイヨーネソースである」ということは成り立たない
事実4: 「この先進資本主義諸国はフォーチュンであるしそれにザバイヨーネソースである」ということは事実と異なる
事実5: もし仮にこの土管はザバイヨーネソースでないならば「「この先進資本主義諸国はフォーチュンであるしそれにザバイヨーネソースである」ということは誤っている」ということは成り立つ
事実6: もしあの肥満恐怖が浅いならばこの土管はザバイヨーネソースでない

仮説: この周辺組織は届き難い
1. 事実6と事実1から、推論1: "この土管はザバイヨーネソースであるということはない"が導かれる
2. 推論1と事実3から、推論2: "「この先進資本主義諸国はフォーチュンでないがしかしそれはザバイヨーネソースである」ということは嘘だ"が導かれる
3. 推論2と事実2から、仮説が導かれる

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