「この続日本紀は見惚れなくて加えて感心出来ない」ということは偽である
fact1: 「「仮眠するしまた不足し易い」ということは誤りな」ものがあるならこの続日本紀は不足し易くない fact2: 仮にあの二υ一＋二分一υが工夫出来ないとするとこの続日本紀は一括払いでなくて思慮分別でない fact3: 「「仮眠するしまた不足し易い」ということは事実と異なる」物はある fact4: もし仮になんらかの物は一括払いであるということはなくてそれに思慮分別でないとすれば「それは仮眠しない」ということは成り立つ fact5: もしもある物は不足し易くないとすれば「見惚れないし更にそれは感心出来ない」ということは偽である fact6: なんらかの物は担えるしさらに隠匿する fact7: もしも何らかの物が仮眠しないならそれは突っ掛かるし不足し易い fact8: 不足し易い物は見惚れないしかつ感心出来ない
fact5 -> int1: もし仮に「この続日本紀は不足し易くない」ということは事実ならば「見惚れるということはないし感心出来るということはない」ということは真実でない; fact3 & fact1 -> int2: この続日本紀は不足し易くない; int1 & int2 -> hypothesis;
この続日本紀は見惚れないしまたそれは感心出来ない
fact12 -> int3: この続日本紀が不足し易いとすればそれは見惚れないし感心出来ない; fact11 -> int4: もし仮にこの続日本紀が仮眠しないとすると突っ掛かるし不足し易い; fact9 -> int5: 「もしもこの続日本紀が一括払いでなくて思慮分別でないとすると「この続日本紀は仮眠しない」ということは成り立つ」ということは確かだ;
$facts$ = fact1: 「「仮眠するしまた不足し易い」ということは誤りな」ものがあるならこの続日本紀は不足し易くない fact2: 仮にあの二υ一＋二分一υが工夫出来ないとするとこの続日本紀は一括払いでなくて思慮分別でない fact3: 「「仮眠するしまた不足し易い」ということは事実と異なる」物はある fact4: もし仮になんらかの物は一括払いであるということはなくてそれに思慮分別でないとすれば「それは仮眠しない」ということは成り立つ fact5: もしもある物は不足し易くないとすれば「見惚れないし更にそれは感心出来ない」ということは偽である fact6: なんらかの物は担えるしさらに隠匿する fact7: もしも何らかの物が仮眠しないならそれは突っ掛かるし不足し易い fact8: 不足し易い物は見惚れないしかつ感心出来ない ; $hypothesis$ = 「この続日本紀は見惚れなくて加えて感心出来ない」ということは偽である ; $proof$ = 
fact5 -> int1: もし仮に「この続日本紀は不足し易くない」ということは事実ならば「見惚れるということはないし感心出来るということはない」ということは真実でない; fact3 & fact1 -> int2: この続日本紀は不足し易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「「仮眠するしまた不足し易い」ということは誤りな」ものがあるならこの続日本紀は不足し易くない
事実2: 仮にあの二υ一＋二分一υが工夫出来ないとするとこの続日本紀は一括払いでなくて思慮分別でない
事実3: 「「仮眠するしまた不足し易い」ということは事実と異なる」物はある
事実4: もし仮になんらかの物は一括払いであるということはなくてそれに思慮分別でないとすれば「それは仮眠しない」ということは成り立つ
事実5: もしもある物は不足し易くないとすれば「見惚れないし更にそれは感心出来ない」ということは偽である
事実6: なんらかの物は担えるしさらに隠匿する
事実7: もしも何らかの物が仮眠しないならそれは突っ掛かるし不足し易い
事実8: 不足し易い物は見惚れないしかつ感心出来ない

仮説: 「この続日本紀は見惚れなくて加えて感心出来ない」ということは偽である
1. 事実5から、推論1: "もし仮に「この続日本紀は不足し易くない」ということは事実ならば「見惚れるということはないし感心出来るということはない」ということは真実でない"が導かれる
2. 事実3と事実1から、推論2: "この続日本紀は不足し易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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