「「もし多用しないならば「区でないしまた入れ難い」ということは偽な」ものはある」ということは事実と異なる
fact1: 仮になにかは多用すれば「それは区であるということはないがしかし入れ難い」ということは偽である fact2: もし仮になにかは新宿御苑でないとしたら「それは煮沸するし変わり果てる」ということは事実と異なる fact3: 仮にこの果物ナイフは多用するとすれば「それは区でないがしかし入れ難い」ということは偽だ fact4: 何かは多用しないなら「それは区であるということはないしそれは入れ難い」ということは嘘である fact5: もし仮になにがしかの物は多用しないとすると「それは区だし更に入れ難い」ということは成り立たない fact6: 「多用しないとすると「区であるしおまけに入れ難い」ということは事実と異なる」ものはある
fact4 -> int1: 仮にこの果物ナイフは多用しないなら「区でないしそれは入れ難い」ということは誤っている; int1 -> hypothesis;
$facts$ = fact1: 仮になにかは多用すれば「それは区であるということはないがしかし入れ難い」ということは偽である fact2: もし仮になにかは新宿御苑でないとしたら「それは煮沸するし変わり果てる」ということは事実と異なる fact3: 仮にこの果物ナイフは多用するとすれば「それは区でないがしかし入れ難い」ということは偽だ fact4: 何かは多用しないなら「それは区であるということはないしそれは入れ難い」ということは嘘である fact5: もし仮になにがしかの物は多用しないとすると「それは区だし更に入れ難い」ということは成り立たない fact6: 「多用しないとすると「区であるしおまけに入れ難い」ということは事実と異なる」ものはある ; $hypothesis$ = 「「もし多用しないならば「区でないしまた入れ難い」ということは偽な」ものはある」ということは事実と異なる ; $proof$ = 
fact4 -> int1: 仮にこの果物ナイフは多用しないなら「区でないしそれは入れ難い」ということは誤っている; int1 -> hypothesis; __DISPROVED__
事実1: 仮になにかは多用すれば「それは区であるということはないがしかし入れ難い」ということは偽である
事実2: もし仮になにかは新宿御苑でないとしたら「それは煮沸するし変わり果てる」ということは事実と異なる
事実3: 仮にこの果物ナイフは多用するとすれば「それは区でないがしかし入れ難い」ということは偽だ
事実4: 何かは多用しないなら「それは区であるということはないしそれは入れ難い」ということは嘘である
事実5: もし仮になにがしかの物は多用しないとすると「それは区だし更に入れ難い」ということは成り立たない
事実6: 「多用しないとすると「区であるしおまけに入れ難い」ということは事実と異なる」ものはある

仮説: 「「もし多用しないならば「区でないしまた入れ難い」ということは偽な」ものはある」ということは事実と異なる
1. 事実4から、推論1: "仮にこの果物ナイフは多用しないなら「区でないしそれは入れ難い」ということは誤っている"が導かれる
2. 推論1から、仮説が否定される

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