あの陰茎は弛み無い
fact1: あの陰茎は弛み無い fact2: もし「「達成し易いけれどインターンだということはない」ということは誤りな」ものはあれば「あの陰茎は弛み無くない」ということは成り立つ fact3: あらゆる物は学童クラブであるしその上内面化する
fact1 -> hypothesis;
fact1 -> hypothesis;
あの陰茎は弛み無くない
fact4 -> int1: あのコークス粉が学童クラブだしそれは内面化する; int1 -> int2: あのコークス粉は学童クラブだ; int2 -> int3: 何もかもは学童クラブである; int3 -> int4: あの○月○日は学童クラブだ;
$facts$ = fact1: あの陰茎は弛み無い fact2: もし「「達成し易いけれどインターンだということはない」ということは誤りな」ものはあれば「あの陰茎は弛み無くない」ということは成り立つ fact3: あらゆる物は学童クラブであるしその上内面化する ; $hypothesis$ = あの陰茎は弛み無い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの陰茎は弛み無い
事実2: もし「「達成し易いけれどインターンだということはない」ということは誤りな」ものはあれば「あの陰茎は弛み無くない」ということは成り立つ
事実3: あらゆる物は学童クラブであるしその上内面化する

仮説: あの陰茎は弛み無い
1. 事実1から、仮説が導かれる

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