「もし仮にすんごいということはないとしたら「解し難いが故障しない」ということは成り立たない」物はある
fact1: 仮になにがしかの物はすんごくないとすれば「「解し難いしその上故障する」ということは事実だ」ということは真実でない fact2: もし仮になにかはすんごくないとすると「解し難いしまたそれは故障しない」ということは成り立たない fact3: 「仮に付属するとすれば「扱い易いし更にたどたどしくない」ということは成り立たない」物はある fact4: 「この六冊はすんごい」ということは成り立つとすると「解し難くてそれは故障しない」ということは偽だ fact5: もしもなにかはすんごいとしたら「それは解し難くてそれは故障しない」ということは嘘である
fact2 -> int1: もしこの六冊はすんごくないなら「それは解し難いしかつ故障しない」ということは偽である; int1 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物はすんごくないとすれば「「解し難いしその上故障する」ということは事実だ」ということは真実でない fact2: もし仮になにかはすんごくないとすると「解し難いしまたそれは故障しない」ということは成り立たない fact3: 「仮に付属するとすれば「扱い易いし更にたどたどしくない」ということは成り立たない」物はある fact4: 「この六冊はすんごい」ということは成り立つとすると「解し難くてそれは故障しない」ということは偽だ fact5: もしもなにかはすんごいとしたら「それは解し難くてそれは故障しない」ということは嘘である ; $hypothesis$ = 「もし仮にすんごいということはないとしたら「解し難いが故障しない」ということは成り立たない」物はある ; $proof$ = 
fact2 -> int1: もしこの六冊はすんごくないなら「それは解し難いしかつ故障しない」ということは偽である; int1 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物はすんごくないとすれば「「解し難いしその上故障する」ということは事実だ」ということは真実でない
事実2: もし仮になにかはすんごくないとすると「解し難いしまたそれは故障しない」ということは成り立たない
事実3: 「仮に付属するとすれば「扱い易いし更にたどたどしくない」ということは成り立たない」物はある
事実4: 「この六冊はすんごい」ということは成り立つとすると「解し難くてそれは故障しない」ということは偽だ
事実5: もしもなにかはすんごいとしたら「それは解し難くてそれは故障しない」ということは嘘である

仮説: 「もし仮にすんごいということはないとしたら「解し難いが故障しない」ということは成り立たない」物はある
1. 事実2から、推論1: "もしこの六冊はすんごくないなら「それは解し難いしかつ故障しない」ということは偽である"が導かれる
2. 推論1から、仮説が導かれる

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