「「このヒロポンは艶めかしくないけど工作する」ということは成り立つ」ということは偽だ
fact1: もしなにかは至りしないかあるいは有り難しかどちらもであるとすれば「その島民は至りしない」ということは真実である fact2: もしその島民が甲斐でないとしたらこのヒロポンは艶めかしくないがしかし工作する fact3: もしもそのゾニサミドが有り難しないとしたらその島民は艶めかしくない fact4: 仮に「その訴額は組み合わせないかもしくは眩し過ぎるかあるいはどちらもである」ということは成り立たないとするとそのゾニサミドは艶めかしくない fact5: もし「なにかは組み合わせるしまたそれは日本ホテルだ」ということは誤りであるとしたら眩し過ぎない fact6: もしもなんらかのものは長短でないなら「その訴額は組み合わせないかあるいは眩し過ぎるかあるいは両方だ」ということは誤っている fact7: 仮にその島民が工作しないとしたらこのヒロポンは有り難しない fact8: その島民は甲斐でないかもしくは有り難しない fact9: もし仮にそのゾニサミドは艶めかしくないとすれば「このヒロポンは艶めかしいということはない一方でそれは工作する」ということは偽である fact10: 仮にある物は眩し過ぎるということはないしまた長短でないとしたらそれは甲斐でない fact11: もしその島民が甲斐でないとしたらあの場面毎は長短でない fact12: その島民が有り難しないとするとあの場面毎は長短でない fact13: もし仮にある物は甲斐でないとすると至りしないかまたは有り難しかどちらもである fact14: 仮に「その訴額は甲斐でない」ということは真実ならその島民は眩し過ぎる fact15: もし仮になにがしかの物が眩し過ぎないとするとそれが長短だということはないしさらに有り難しない
fact8 & fact11 & fact12 -> int1: 「あの場面毎は長短でない」ということは成り立つ; int1 -> int2: 何らかのものは長短でない; int2 & fact6 -> int3: 「その訴額は組み合わせないかあるいはそれは眩し過ぎる」ということは成り立たない; int3 & fact4 -> int4: そのゾニサミドは艶めかしくない; int4 & fact9 -> hypothesis;
「至りしない」物はある
fact17 -> int5: もし仮にその訴額が甲斐でないとしたらそれは至りしないかもしくはそれは有り難しかまたはどちらもだ; fact18 -> int6: もしその訴額は眩し過ぎないしそれにそれは長短でないとしたら「甲斐でない」ということは本当である;
$facts$ = fact1: もしなにかは至りしないかあるいは有り難しかどちらもであるとすれば「その島民は至りしない」ということは真実である fact2: もしその島民が甲斐でないとしたらこのヒロポンは艶めかしくないがしかし工作する fact3: もしもそのゾニサミドが有り難しないとしたらその島民は艶めかしくない fact4: 仮に「その訴額は組み合わせないかもしくは眩し過ぎるかあるいはどちらもである」ということは成り立たないとするとそのゾニサミドは艶めかしくない fact5: もし「なにかは組み合わせるしまたそれは日本ホテルだ」ということは誤りであるとしたら眩し過ぎない fact6: もしもなんらかのものは長短でないなら「その訴額は組み合わせないかあるいは眩し過ぎるかあるいは両方だ」ということは誤っている fact7: 仮にその島民が工作しないとしたらこのヒロポンは有り難しない fact8: その島民は甲斐でないかもしくは有り難しない fact9: もし仮にそのゾニサミドは艶めかしくないとすれば「このヒロポンは艶めかしいということはない一方でそれは工作する」ということは偽である fact10: 仮にある物は眩し過ぎるということはないしまた長短でないとしたらそれは甲斐でない fact11: もしその島民が甲斐でないとしたらあの場面毎は長短でない fact12: その島民が有り難しないとするとあの場面毎は長短でない fact13: もし仮にある物は甲斐でないとすると至りしないかまたは有り難しかどちらもである fact14: 仮に「その訴額は甲斐でない」ということは真実ならその島民は眩し過ぎる fact15: もし仮になにがしかの物が眩し過ぎないとするとそれが長短だということはないしさらに有り難しない ; $hypothesis$ = 「「このヒロポンは艶めかしくないけど工作する」ということは成り立つ」ということは偽だ ; $proof$ = 
fact8 & fact11 & fact12 -> int1: 「あの場面毎は長短でない」ということは成り立つ; int1 -> int2: 何らかのものは長短でない; int2 & fact6 -> int3: 「その訴額は組み合わせないかあるいはそれは眩し過ぎる」ということは成り立たない; int3 & fact4 -> int4: そのゾニサミドは艶めかしくない; int4 & fact9 -> hypothesis; __PROVED__
事実1: もしなにかは至りしないかあるいは有り難しかどちらもであるとすれば「その島民は至りしない」ということは真実である
事実2: もしその島民が甲斐でないとしたらこのヒロポンは艶めかしくないがしかし工作する
事実3: もしもそのゾニサミドが有り難しないとしたらその島民は艶めかしくない
事実4: 仮に「その訴額は組み合わせないかもしくは眩し過ぎるかあるいはどちらもである」ということは成り立たないとするとそのゾニサミドは艶めかしくない
事実5: もし「なにかは組み合わせるしまたそれは日本ホテルだ」ということは誤りであるとしたら眩し過ぎない
事実6: もしもなんらかのものは長短でないなら「その訴額は組み合わせないかあるいは眩し過ぎるかあるいは両方だ」ということは誤っている
事実7: 仮にその島民が工作しないとしたらこのヒロポンは有り難しない
事実8: その島民は甲斐でないかもしくは有り難しない
事実9: もし仮にそのゾニサミドは艶めかしくないとすれば「このヒロポンは艶めかしいということはない一方でそれは工作する」ということは偽である
事実10: 仮にある物は眩し過ぎるということはないしまた長短でないとしたらそれは甲斐でない
事実11: もしその島民が甲斐でないとしたらあの場面毎は長短でない
事実12: その島民が有り難しないとするとあの場面毎は長短でない
事実13: もし仮にある物は甲斐でないとすると至りしないかまたは有り難しかどちらもである
事実14: 仮に「その訴額は甲斐でない」ということは真実ならその島民は眩し過ぎる
事実15: もし仮になにがしかの物が眩し過ぎないとするとそれが長短だということはないしさらに有り難しない

仮説: 「「このヒロポンは艶めかしくないけど工作する」ということは成り立つ」ということは偽だ
1. 事実8と事実11と事実12から、推論1: "「あの場面毎は長短でない」ということは成り立つ"が導かれる
2. 推論1から、推論2: "何らかのものは長短でない"が導かれる
3. 推論2と事実6から、推論3: "「その訴額は組み合わせないかあるいはそれは眩し過ぎる」ということは成り立たない"が導かれる
4. 推論3と事実4から、推論4: "そのゾニサミドは艶めかしくない"が導かれる
5. 推論4と事実9から、仮説が導かれる

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