あのレコード業界は学都でない
fact1: もしも何らかの物は青白くないならば「鳴き立てるがしかし蔵すということはない」ということは誤っている fact2: あのレコード業界は蔵すない fact3: もしも「そのナショナル・ミニマムはぎごちないということはなくて青白くない」ということは成り立たないとしたら「あの鬼籍は青白いということはない」ということは誤りでない fact4: あのレコード業界は蔵すないなら「それが刷くしその上それは所内だ」ということは成り立たない fact5: 仮にあのレコード業界が学都でないなら刷くし所内でない fact6: このリバウンド頭痛は蔵すない fact7: もしもあのレコード業界は蔵すないならば「刷くしまた所内でない」ということは誤っている fact8: もしも「あの鬼籍は鳴き立てるがしかし蔵すない」ということは成り立たないならばあのレコード業界は学都でない
void -> assump1: 以下のように仮定する。あのレコード業界は学都でない; fact5 & assump1 -> int1: あのレコード業界は刷く一方で所内でない; fact2 & fact7 -> int2: 「「あのレコード業界は刷く一方でそれは所内でない」ということは偽でない」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「あのレコード業界は学都だということはない」ということは本当である
fact11 -> int4: 仮にあの鬼籍は青白くないとすると「それは鳴き立てるしそれにそれは蔵すない」ということは間違いである;
$facts$ = fact1: もしも何らかの物は青白くないならば「鳴き立てるがしかし蔵すということはない」ということは誤っている fact2: あのレコード業界は蔵すない fact3: もしも「そのナショナル・ミニマムはぎごちないということはなくて青白くない」ということは成り立たないとしたら「あの鬼籍は青白いということはない」ということは誤りでない fact4: あのレコード業界は蔵すないなら「それが刷くしその上それは所内だ」ということは成り立たない fact5: 仮にあのレコード業界が学都でないなら刷くし所内でない fact6: このリバウンド頭痛は蔵すない fact7: もしもあのレコード業界は蔵すないならば「刷くしまた所内でない」ということは誤っている fact8: もしも「あの鬼籍は鳴き立てるがしかし蔵すない」ということは成り立たないならばあのレコード業界は学都でない ; $hypothesis$ = あのレコード業界は学都でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのレコード業界は学都でない; fact5 & assump1 -> int1: あのレコード業界は刷く一方で所内でない; fact2 & fact7 -> int2: 「「あのレコード業界は刷く一方でそれは所内でない」ということは偽でない」ということは嘘だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物は青白くないならば「鳴き立てるがしかし蔵すということはない」ということは誤っている
事実2: あのレコード業界は蔵すない
事実3: もしも「そのナショナル・ミニマムはぎごちないということはなくて青白くない」ということは成り立たないとしたら「あの鬼籍は青白いということはない」ということは誤りでない
事実4: あのレコード業界は蔵すないなら「それが刷くしその上それは所内だ」ということは成り立たない
事実5: 仮にあのレコード業界が学都でないなら刷くし所内でない
事実6: このリバウンド頭痛は蔵すない
事実7: もしもあのレコード業界は蔵すないならば「刷くしまた所内でない」ということは誤っている
事実8: もしも「あの鬼籍は鳴き立てるがしかし蔵すない」ということは成り立たないならばあのレコード業界は学都でない

仮説: あのレコード業界は学都でない
1. 仮定1: 以下のように仮定する。あのレコード業界は学都でない
2. 事実5と仮定1から、推論1: "あのレコード業界は刷く一方で所内でない"が導かれる
3. 事実2と事実7から、推論2: "「「あのレコード業界は刷く一方でそれは所内でない」ということは偽でない」ということは嘘だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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