この情報公開請求は浮かれ騒がない
fact1: この一男はオリーブ油でない fact2: すべては奥床しくない fact3: 奥床しくないものは上表参照であるし推察する fact4: あの駆潜艇は奥床しくない fact5: この一男は浮かれ騒ぐということはない fact6: もし上表参照がスパイラル状なら浮かれ騒がない fact7: もし仮に「この情報公開請求は上表参照であるかもしくは費やす」ということは事実と異なるとするとこの一男は上表参照でない fact8: あの駆潜艇が奥床しくないならその先遣隊は大きいし推察する fact9: もし仮になにかはスパイラル状でないならオリーブ油であるしその上それは浮かれ騒ぐ fact10: なにかはスパイラル状でないならばそれはすりゃ良いしそれはオリーブ油だ fact11: もしこの一男はオリーブ油でないとすれば「あの駆潜艇はすりゃ良くてまたそれは敬する」ということは誤っている fact12: もし「「すりゃ良いし加えて敬する」ということは間違っている」ものがあるとすればあの情報公開請求はスパイラル状だ
fact11 & fact1 -> int1: 「「あの駆潜艇はすりゃ良くて敬する」ということは成り立たない」ということは間違いでない; int1 -> int2: 「「すりゃ良いし敬する」ということは成り立つということはない」物はある; int2 & fact12 -> int3: 「この情報公開請求はスパイラル状だ」ということは本当である; fact2 -> int4: この情報公開請求は奥床しくない; fact3 -> int5: もし仮にこの情報公開請求が奥床しいということはないとするとそれは上表参照であるししかも推察する; int4 & int5 -> int6: この情報公開請求は上表参照でしかも推察する; int6 -> int7: この情報公開請求は上表参照である; int3 & int7 -> int8: この情報公開請求は上表参照だしおまけにスパイラル状である; fact6 -> int9: もし仮にこの情報公開請求が上表参照であるし更にスパイラル状だとしたら浮かれ騒がない; int8 & int9 -> hypothesis;
その先遣隊は大きくて更にそれはすりゃ良い
fact14 & fact17 -> int10: その先遣隊は大きいしさらに推察する; int10 -> int11: その先遣隊は大きい; fact15 -> int12: もし仮にその先遣隊がスパイラル状でないならそれはすりゃ良いしオリーブ油である;
$facts$ = fact1: この一男はオリーブ油でない fact2: すべては奥床しくない fact3: 奥床しくないものは上表参照であるし推察する fact4: あの駆潜艇は奥床しくない fact5: この一男は浮かれ騒ぐということはない fact6: もし上表参照がスパイラル状なら浮かれ騒がない fact7: もし仮に「この情報公開請求は上表参照であるかもしくは費やす」ということは事実と異なるとするとこの一男は上表参照でない fact8: あの駆潜艇が奥床しくないならその先遣隊は大きいし推察する fact9: もし仮になにかはスパイラル状でないならオリーブ油であるしその上それは浮かれ騒ぐ fact10: なにかはスパイラル状でないならばそれはすりゃ良いしそれはオリーブ油だ fact11: もしこの一男はオリーブ油でないとすれば「あの駆潜艇はすりゃ良くてまたそれは敬する」ということは誤っている fact12: もし「「すりゃ良いし加えて敬する」ということは間違っている」ものがあるとすればあの情報公開請求はスパイラル状だ ; $hypothesis$ = この情報公開請求は浮かれ騒がない ; $proof$ = 
fact11 & fact1 -> int1: 「「あの駆潜艇はすりゃ良くて敬する」ということは成り立たない」ということは間違いでない; int1 -> int2: 「「すりゃ良いし敬する」ということは成り立つということはない」物はある; int2 & fact12 -> int3: 「この情報公開請求はスパイラル状だ」ということは本当である; fact2 -> int4: この情報公開請求は奥床しくない; fact3 -> int5: もし仮にこの情報公開請求が奥床しいということはないとするとそれは上表参照であるししかも推察する; int4 & int5 -> int6: この情報公開請求は上表参照でしかも推察する; int6 -> int7: この情報公開請求は上表参照である; int3 & int7 -> int8: この情報公開請求は上表参照だしおまけにスパイラル状である; fact6 -> int9: もし仮にこの情報公開請求が上表参照であるし更にスパイラル状だとしたら浮かれ騒がない; int8 & int9 -> hypothesis; __PROVED__
事実1: この一男はオリーブ油でない
事実2: すべては奥床しくない
事実3: 奥床しくないものは上表参照であるし推察する
事実4: あの駆潜艇は奥床しくない
事実5: この一男は浮かれ騒ぐということはない
事実6: もし上表参照がスパイラル状なら浮かれ騒がない
事実7: もし仮に「この情報公開請求は上表参照であるかもしくは費やす」ということは事実と異なるとするとこの一男は上表参照でない
事実8: あの駆潜艇が奥床しくないならその先遣隊は大きいし推察する
事実9: もし仮になにかはスパイラル状でないならオリーブ油であるしその上それは浮かれ騒ぐ
事実10: なにかはスパイラル状でないならばそれはすりゃ良いしそれはオリーブ油だ
事実11: もしこの一男はオリーブ油でないとすれば「あの駆潜艇はすりゃ良くてまたそれは敬する」ということは誤っている
事実12: もし「「すりゃ良いし加えて敬する」ということは間違っている」ものがあるとすればあの情報公開請求はスパイラル状だ

仮説: この情報公開請求は浮かれ騒がない
1. 事実11と事実1から、推論1: "「「あの駆潜艇はすりゃ良くて敬する」ということは成り立たない」ということは間違いでない"が導かれる
2. 推論1から、推論2: "「「すりゃ良いし敬する」ということは成り立つということはない」物はある"が導かれる
3. 推論2と事実12から、推論3: "「この情報公開請求はスパイラル状だ」ということは本当である"が導かれる
4. 事実2から、推論4: "この情報公開請求は奥床しくない"が導かれる
5. 事実3から、推論5: "もし仮にこの情報公開請求が奥床しいということはないとするとそれは上表参照であるししかも推察する"が導かれる
6. 推論4と推論5から、推論6: "この情報公開請求は上表参照でしかも推察する"が導かれる
7. 推論6から、推論7: "この情報公開請求は上表参照である"が導かれる
8. 推論3と推論7から、推論8: "この情報公開請求は上表参照だしおまけにスパイラル状である"が導かれる
9. 事実6から、推論9: "もし仮にこの情報公開請求が上表参照であるし更にスパイラル状だとしたら浮かれ騒がない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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