「「あの十二番人気はでかいということはなくて利用し辛くない」ということは成り立つ」ということは誤りだ
fact1: もしなにかは示し為さるとすればそれはでかくないし更に利用し辛くない fact2: 「あの十二番人気はでかくないけれど利用し辛い」ということは偽だ fact3: 「あの十二番人気はでかくないしおまけに利用し辛くない」ということは偽である fact4: 「あの十二番人気はでかい一方で利用し辛くない」ということは誤っている
fact3 -> hypothesis;
あの十二番人気はでかくないし更に利用し辛いということはない
fact5 -> int1: もしもあの十二番人気が示し為さればそれはでかくないし加えて利用し辛いということはない;
$facts$ = fact1: もしなにかは示し為さるとすればそれはでかくないし更に利用し辛くない fact2: 「あの十二番人気はでかくないけれど利用し辛い」ということは偽だ fact3: 「あの十二番人気はでかくないしおまけに利用し辛くない」ということは偽である fact4: 「あの十二番人気はでかい一方で利用し辛くない」ということは誤っている ; $hypothesis$ = 「「あの十二番人気はでかいということはなくて利用し辛くない」ということは成り立つ」ということは誤りだ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしなにかは示し為さるとすればそれはでかくないし更に利用し辛くない
事実2: 「あの十二番人気はでかくないけれど利用し辛い」ということは偽だ
事実3: 「あの十二番人気はでかくないしおまけに利用し辛くない」ということは偽である
事実4: 「あの十二番人気はでかい一方で利用し辛くない」ということは誤っている

仮説: 「「あの十二番人気はでかいということはなくて利用し辛くない」ということは成り立つ」ということは誤りだ
1. 事実3から、仮説が導かれる

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