「「仮に「小穴だ」ということは成り立つとすると「知るし更に始まるということはない」ということは事実と異なる」ものはある」ということは成り立たない
fact1: もし仮になにかはカラーピーマンであるとしたら「それは息するし更に眩しい」ということは事実と異なる fact2: 「もしも小穴なら「知るしその上始まる」ということは偽な」物はある fact3: なにかは小穴ならば「それは知る一方で始まらない」ということは成り立たない fact4: 「敢え無いとすると「生じ易いがしかし縄跳びでない」ということは成り立つということはない」物はある
fact3 -> int1: もし仮にこの庶民教育は小穴だとすると「知るししかも始まらない」ということは偽だ; int1 -> hypothesis;
$facts$ = fact1: もし仮になにかはカラーピーマンであるとしたら「それは息するし更に眩しい」ということは事実と異なる fact2: 「もしも小穴なら「知るしその上始まる」ということは偽な」物はある fact3: なにかは小穴ならば「それは知る一方で始まらない」ということは成り立たない fact4: 「敢え無いとすると「生じ易いがしかし縄跳びでない」ということは成り立つということはない」物はある ; $hypothesis$ = 「「仮に「小穴だ」ということは成り立つとすると「知るし更に始まるということはない」ということは事実と異なる」ものはある」ということは成り立たない ; $proof$ = 
fact3 -> int1: もし仮にこの庶民教育は小穴だとすると「知るししかも始まらない」ということは偽だ; int1 -> hypothesis; __DISPROVED__
事実1: もし仮になにかはカラーピーマンであるとしたら「それは息するし更に眩しい」ということは事実と異なる
事実2: 「もしも小穴なら「知るしその上始まる」ということは偽な」物はある
事実3: なにかは小穴ならば「それは知る一方で始まらない」ということは成り立たない
事実4: 「敢え無いとすると「生じ易いがしかし縄跳びでない」ということは成り立つということはない」物はある

仮説: 「「仮に「小穴だ」ということは成り立つとすると「知るし更に始まるということはない」ということは事実と異なる」ものはある」ということは成り立たない
1. 事実3から、推論1: "もし仮にこの庶民教育は小穴だとすると「知るししかも始まらない」ということは偽だ"が導かれる
2. 推論1から、仮説が否定される

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