もし仮にこの二月始めは案ずれば「あのコンパクトフラッシュは厭わしいがしかし随筆集でない」ということは誤りである
fact1: もし仮にあるものは案ぜないなら「それは随筆集であるし加えて疎い」ということは間違いである fact2: 厭わしくない物は案ぜないけどカウントする fact3: もしもこの二月始めが案ぜないならばあのコンパクトフラッシュは疎いがしかし案ぜない fact4: 仮にこの二月始めが疎いならそのサイト上は随筆集でない fact5: 「あのコンパクトフラッシュはひょろ長くない」ということは成り立つとすれば「そのサイト上は謝金であるかそれは厭わしいということはない」ということは偽である fact6: もしこの二月始めが案ずればあのコンパクトフラッシュは厭わしいがしかし随筆集でない fact7: 仮にそのサイト上は随筆集でないなら「あのコンパクトフラッシュは厭わしい一方で随筆集でない」ということは成り立たない fact8: もしこの二月始めが案ずるかまたはそれが疎いかもしくはどちらもであるとしたらそのサイト上は随筆集でない fact9: もしそのサイト上は疎いなら「この二月始めは案ずるしそれにそれは随筆集だ」ということは成り立たない fact10: もし「「そのサイト上は謝金であるか厭わしくない」ということは成り立つ」ということは偽だとすると「この二月始めは厭わしいということはない」ということは成り立つ fact11: あのコンパクトフラッシュは厭わしくないとすると「この二月始めは案ずるしかつ厭わしい」ということは誤っている fact12: もしそのサイト上は随筆集でないとすれば「あのコンパクトフラッシュは厭わしくて随筆集である」ということは嘘である fact13: もし仮に「「随筆集だし疎い」ということは成り立たない」ものがあるとするとその国税庁相互協議室は疎くない fact14: 「この二月始めは疎いがそれは厭わしくない」ということは嘘だ
void -> assump1: 以下のように仮定する。この二月始めは案ずる; assump1 -> int1: この二月始めは案ずるか疎いかまたは両方ともだ; int1 & fact8 -> int2: そのサイト上は随筆集でない; int2 & fact7 -> int3: 「あのコンパクトフラッシュは厭わしい一方でそれは随筆集だということはない」ということは偽である; [assump1] & int3 -> hypothesis;
その国税庁相互協議室は疎いということはない
fact17 -> int4: もしも「この二月始めは案ぜない」ということは成り立つとしたら「それは随筆集であるしかつ疎い」ということは間違っている; fact18 -> int5: 仮にこの二月始めが厭わしくないなら案ぜない一方でカウントする;
$facts$ = fact1: もし仮にあるものは案ぜないなら「それは随筆集であるし加えて疎い」ということは間違いである fact2: 厭わしくない物は案ぜないけどカウントする fact3: もしもこの二月始めが案ぜないならばあのコンパクトフラッシュは疎いがしかし案ぜない fact4: 仮にこの二月始めが疎いならそのサイト上は随筆集でない fact5: 「あのコンパクトフラッシュはひょろ長くない」ということは成り立つとすれば「そのサイト上は謝金であるかそれは厭わしいということはない」ということは偽である fact6: もしこの二月始めが案ずればあのコンパクトフラッシュは厭わしいがしかし随筆集でない fact7: 仮にそのサイト上は随筆集でないなら「あのコンパクトフラッシュは厭わしい一方で随筆集でない」ということは成り立たない fact8: もしこの二月始めが案ずるかまたはそれが疎いかもしくはどちらもであるとしたらそのサイト上は随筆集でない fact9: もしそのサイト上は疎いなら「この二月始めは案ずるしそれにそれは随筆集だ」ということは成り立たない fact10: もし「「そのサイト上は謝金であるか厭わしくない」ということは成り立つ」ということは偽だとすると「この二月始めは厭わしいということはない」ということは成り立つ fact11: あのコンパクトフラッシュは厭わしくないとすると「この二月始めは案ずるしかつ厭わしい」ということは誤っている fact12: もしそのサイト上は随筆集でないとすれば「あのコンパクトフラッシュは厭わしくて随筆集である」ということは嘘である fact13: もし仮に「「随筆集だし疎い」ということは成り立たない」ものがあるとするとその国税庁相互協議室は疎くない fact14: 「この二月始めは疎いがそれは厭わしくない」ということは嘘だ ; $hypothesis$ = もし仮にこの二月始めは案ずれば「あのコンパクトフラッシュは厭わしいがしかし随筆集でない」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。この二月始めは案ずる; assump1 -> int1: この二月始めは案ずるか疎いかまたは両方ともだ; int1 & fact8 -> int2: そのサイト上は随筆集でない; int2 & fact7 -> int3: 「あのコンパクトフラッシュは厭わしい一方でそれは随筆集だということはない」ということは偽である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にあるものは案ぜないなら「それは随筆集であるし加えて疎い」ということは間違いである
事実2: 厭わしくない物は案ぜないけどカウントする
事実3: もしもこの二月始めが案ぜないならばあのコンパクトフラッシュは疎いがしかし案ぜない
事実4: 仮にこの二月始めが疎いならそのサイト上は随筆集でない
事実5: 「あのコンパクトフラッシュはひょろ長くない」ということは成り立つとすれば「そのサイト上は謝金であるかそれは厭わしいということはない」ということは偽である
事実6: もしこの二月始めが案ずればあのコンパクトフラッシュは厭わしいがしかし随筆集でない
事実7: 仮にそのサイト上は随筆集でないなら「あのコンパクトフラッシュは厭わしい一方で随筆集でない」ということは成り立たない
事実8: もしこの二月始めが案ずるかまたはそれが疎いかもしくはどちらもであるとしたらそのサイト上は随筆集でない
事実9: もしそのサイト上は疎いなら「この二月始めは案ずるしそれにそれは随筆集だ」ということは成り立たない
事実10: もし「「そのサイト上は謝金であるか厭わしくない」ということは成り立つ」ということは偽だとすると「この二月始めは厭わしいということはない」ということは成り立つ
事実11: あのコンパクトフラッシュは厭わしくないとすると「この二月始めは案ずるしかつ厭わしい」ということは誤っている
事実12: もしそのサイト上は随筆集でないとすれば「あのコンパクトフラッシュは厭わしくて随筆集である」ということは嘘である
事実13: もし仮に「「随筆集だし疎い」ということは成り立たない」ものがあるとするとその国税庁相互協議室は疎くない
事実14: 「この二月始めは疎いがそれは厭わしくない」ということは嘘だ

仮説: もし仮にこの二月始めは案ずれば「あのコンパクトフラッシュは厭わしいがしかし随筆集でない」ということは誤りである
1. 仮定1: 以下のように仮定する。この二月始めは案ずる
2. 仮定1から、推論1: "この二月始めは案ずるか疎いかまたは両方ともだ"が導かれる
3. 推論1と事実8から、推論2: "そのサイト上は随筆集でない"が導かれる
4. 推論2と事実7から、推論3: "「あのコンパクトフラッシュは厭わしい一方でそれは随筆集だということはない」ということは偽である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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