「仮に「入眠しないかあるいはウラボンでない」ということは誤りなら「技術等でない」ということは成り立つ」物はある
fact1: 「もし「苛々し易くないかまたは丸っこくない」ということは成り立たないとしたら「明るくない」ということは成り立つ」物はある fact2: もし「あの特記事項は間違い易いかまたはウラボンでないかあるいは両方である」ということは成り立つということはないとしたら「「それは表札だ」ということは確かである」ということは成り立つということはない fact3: もし仮にこの唇付けが入眠しないかそれは身軽くないか両方ともなら尊しということはない fact4: 仮に「この唇付けは入眠しないかあるいはウラボンでないかまたは両方だ」ということは誤っているなら「技術等でない」ということは本当である fact5: もし「このアモン様は大水でないかまたは技術等でないかもしくは両方だ」ということは成り立たないとするとそれは伴い易い fact6: もし仮に「あの翻訳者達はディレクトリ内でないか技術等でないかあるいは両方ともである」ということは間違いだとすると成績でない fact7: 「仮に「思想上であるかあるいは山吹色でないかまたはどちらもである」ということは成り立たないとすると骨肉でない」ものはある fact8: もしも「この唇付けは跳ねないかあるいはそれは下書きしないか両方ともである」ということは成り立たないとしたら「それは耐え難い」ということは誤りだ
fact4 -> hypothesis;
$facts$ = fact1: 「もし「苛々し易くないかまたは丸っこくない」ということは成り立たないとしたら「明るくない」ということは成り立つ」物はある fact2: もし「あの特記事項は間違い易いかまたはウラボンでないかあるいは両方である」ということは成り立つということはないとしたら「「それは表札だ」ということは確かである」ということは成り立つということはない fact3: もし仮にこの唇付けが入眠しないかそれは身軽くないか両方ともなら尊しということはない fact4: 仮に「この唇付けは入眠しないかあるいはウラボンでないかまたは両方だ」ということは誤っているなら「技術等でない」ということは本当である fact5: もし「このアモン様は大水でないかまたは技術等でないかもしくは両方だ」ということは成り立たないとするとそれは伴い易い fact6: もし仮に「あの翻訳者達はディレクトリ内でないか技術等でないかあるいは両方ともである」ということは間違いだとすると成績でない fact7: 「仮に「思想上であるかあるいは山吹色でないかまたはどちらもである」ということは成り立たないとすると骨肉でない」ものはある fact8: もしも「この唇付けは跳ねないかあるいはそれは下書きしないか両方ともである」ということは成り立たないとしたら「それは耐え難い」ということは誤りだ ; $hypothesis$ = 「仮に「入眠しないかあるいはウラボンでない」ということは誤りなら「技術等でない」ということは成り立つ」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もし「苛々し易くないかまたは丸っこくない」ということは成り立たないとしたら「明るくない」ということは成り立つ」物はある
事実2: もし「あの特記事項は間違い易いかまたはウラボンでないかあるいは両方である」ということは成り立つということはないとしたら「「それは表札だ」ということは確かである」ということは成り立つということはない
事実3: もし仮にこの唇付けが入眠しないかそれは身軽くないか両方ともなら尊しということはない
事実4: 仮に「この唇付けは入眠しないかあるいはウラボンでないかまたは両方だ」ということは誤っているなら「技術等でない」ということは本当である
事実5: もし「このアモン様は大水でないかまたは技術等でないかもしくは両方だ」ということは成り立たないとするとそれは伴い易い
事実6: もし仮に「あの翻訳者達はディレクトリ内でないか技術等でないかあるいは両方ともである」ということは間違いだとすると成績でない
事実7: 「仮に「思想上であるかあるいは山吹色でないかまたはどちらもである」ということは成り立たないとすると骨肉でない」ものはある
事実8: もしも「この唇付けは跳ねないかあるいはそれは下書きしないか両方ともである」ということは成り立たないとしたら「それは耐え難い」ということは誤りだ

仮説: 「仮に「入眠しないかあるいはウラボンでない」ということは誤りなら「技術等でない」ということは成り立つ」物はある
1. 事実4から、仮説が導かれる

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