この改善計画はＨＯテルである
fact1: もしなにかは抜き書きしないなら「それは等しないしえいだ」ということは間違っている fact2: もし「なんらかのものは等しないしかつそれはえいでない」ということは本当でないならばそれは不正競争である fact3: そのヘッジ対象は記録方式でない fact4: もし仮にこの個人的達成感がＮＪＷだということはないとすれば他愛無くない fact5: もし仮にこの個人的達成感が抜き書きしないがしかしそれが尊しならばあの改善計画は抜き書きしない fact6: もしもあの大規模小売り店舗が不正競争であるとするとこの個人的達成感は抜き書きしないがしかし尊し fact7: この個人的達成感はＮＪＷでない fact8: もし仮に「この傾城禁短気は盗み見るけれど他宗であるということはない」ということは誤りだとするとそれはＮＪＷでない fact9: 仮に何かは抜き書きしないならば「等ししそれはえいだということはない」ということは成り立たない fact10: 尊し物が記録方式でないとするとこの改善計画は他愛無い fact11: もし仮になにがしかの物は他愛無くないならば「尊ししそれは記録方式だということはない」ということは事実と異なる fact12: そのヘッジ対象は抜き書きしない fact13: 「とある物はＨＯテルであるししかも不正競争である」ということは間違いだとすればＨＯテルでない fact14: 仮にこの改善計画はＮＪＷであるとしたら「それはＨＯテルである」ということは事実である fact15: 記録方式は他愛無くない fact16: なにかは尊ししかつ記録方式だ fact17: 「そのヘッジ対象は等しないがえいだ」ということは成り立たない fact18: 仮にあるものは抜き書きしないなら「それは等しないしえいでない」ということは成り立たない fact19: 何らかの物が抜き書きしないとしたらそれはＨＯテルでない fact20: 不正競争は尊しが記録方式でない fact21: もしそのヘッジ対象が不正競争ならばそれは記録方式でない fact22: もし仮になんらかの物はＮＪＷでないならば「他愛無いしそれに記録方式である」ということは成り立たない fact23: もしこの改善計画が他愛無いならばＮＪＷである
fact18 -> int1: もしそのヘッジ対象は抜き書きしないとすると「等しないし更にえいでない」ということは誤りだ; int1 & fact12 -> int2: 「そのヘッジ対象は等しないしえいでない」ということは偽である; fact2 -> int3: もしも「「そのヘッジ対象は等しないし更にえいであるということはない」ということは確かだ」ということは成り立たないとしたら「それは不正競争だ」ということは確かだ; int2 & int3 -> int4: 「そのヘッジ対象は不正競争だ」ということは成り立つ; fact20 -> int5: もし仮にそのヘッジ対象が不正競争だとするとそれは尊しが記録方式であるということはない; int4 & int5 -> int6: そのヘッジ対象は尊し一方でそれは記録方式でない; int6 -> int7: なんらかの物は尊しがしかし記録方式でない; int7 & fact10 -> int8: 「この改善計画は他愛無い」ということは成り立つ; int8 & fact23 -> int9: この改善計画はＮＪＷである; int9 & fact14 -> hypothesis;
この改善計画はＨＯテルでない
fact28 -> int10: もしも「この改善計画は抜き書きしない」ということは確かであるならばそれはＨＯテルでない; fact24 -> int11: 仮にこの傾城禁短気はＮＪＷでないとすれば「他愛無くて記録方式だ」ということは誤っている;
$facts$ = fact1: もしなにかは抜き書きしないなら「それは等しないしえいだ」ということは間違っている fact2: もし「なんらかのものは等しないしかつそれはえいでない」ということは本当でないならばそれは不正競争である fact3: そのヘッジ対象は記録方式でない fact4: もし仮にこの個人的達成感がＮＪＷだということはないとすれば他愛無くない fact5: もし仮にこの個人的達成感が抜き書きしないがしかしそれが尊しならばあの改善計画は抜き書きしない fact6: もしもあの大規模小売り店舗が不正競争であるとするとこの個人的達成感は抜き書きしないがしかし尊し fact7: この個人的達成感はＮＪＷでない fact8: もし仮に「この傾城禁短気は盗み見るけれど他宗であるということはない」ということは誤りだとするとそれはＮＪＷでない fact9: 仮に何かは抜き書きしないならば「等ししそれはえいだということはない」ということは成り立たない fact10: 尊し物が記録方式でないとするとこの改善計画は他愛無い fact11: もし仮になにがしかの物は他愛無くないならば「尊ししそれは記録方式だということはない」ということは事実と異なる fact12: そのヘッジ対象は抜き書きしない fact13: 「とある物はＨＯテルであるししかも不正競争である」ということは間違いだとすればＨＯテルでない fact14: 仮にこの改善計画はＮＪＷであるとしたら「それはＨＯテルである」ということは事実である fact15: 記録方式は他愛無くない fact16: なにかは尊ししかつ記録方式だ fact17: 「そのヘッジ対象は等しないがえいだ」ということは成り立たない fact18: 仮にあるものは抜き書きしないなら「それは等しないしえいでない」ということは成り立たない fact19: 何らかの物が抜き書きしないとしたらそれはＨＯテルでない fact20: 不正競争は尊しが記録方式でない fact21: もしそのヘッジ対象が不正競争ならばそれは記録方式でない fact22: もし仮になんらかの物はＮＪＷでないならば「他愛無いしそれに記録方式である」ということは成り立たない fact23: もしこの改善計画が他愛無いならばＮＪＷである ; $hypothesis$ = この改善計画はＨＯテルである ; $proof$ = 
fact18 -> int1: もしそのヘッジ対象は抜き書きしないとすると「等しないし更にえいでない」ということは誤りだ; int1 & fact12 -> int2: 「そのヘッジ対象は等しないしえいでない」ということは偽である; fact2 -> int3: もしも「「そのヘッジ対象は等しないし更にえいであるということはない」ということは確かだ」ということは成り立たないとしたら「それは不正競争だ」ということは確かだ; int2 & int3 -> int4: 「そのヘッジ対象は不正競争だ」ということは成り立つ; fact20 -> int5: もし仮にそのヘッジ対象が不正競争だとするとそれは尊しが記録方式であるということはない; int4 & int5 -> int6: そのヘッジ対象は尊し一方でそれは記録方式でない; int6 -> int7: なんらかの物は尊しがしかし記録方式でない; int7 & fact10 -> int8: 「この改善計画は他愛無い」ということは成り立つ; int8 & fact23 -> int9: この改善計画はＮＪＷである; int9 & fact14 -> hypothesis; __PROVED__
事実1: もしなにかは抜き書きしないなら「それは等しないしえいだ」ということは間違っている
事実2: もし「なんらかのものは等しないしかつそれはえいでない」ということは本当でないならばそれは不正競争である
事実3: そのヘッジ対象は記録方式でない
事実4: もし仮にこの個人的達成感がＮＪＷだということはないとすれば他愛無くない
事実5: もし仮にこの個人的達成感が抜き書きしないがしかしそれが尊しならばあの改善計画は抜き書きしない
事実6: もしもあの大規模小売り店舗が不正競争であるとするとこの個人的達成感は抜き書きしないがしかし尊し
事実7: この個人的達成感はＮＪＷでない
事実8: もし仮に「この傾城禁短気は盗み見るけれど他宗であるということはない」ということは誤りだとするとそれはＮＪＷでない
事実9: 仮に何かは抜き書きしないならば「等ししそれはえいだということはない」ということは成り立たない
事実10: 尊し物が記録方式でないとするとこの改善計画は他愛無い
事実11: もし仮になにがしかの物は他愛無くないならば「尊ししそれは記録方式だということはない」ということは事実と異なる
事実12: そのヘッジ対象は抜き書きしない
事実13: 「とある物はＨＯテルであるししかも不正競争である」ということは間違いだとすればＨＯテルでない
事実14: 仮にこの改善計画はＮＪＷであるとしたら「それはＨＯテルである」ということは事実である
事実15: 記録方式は他愛無くない
事実16: なにかは尊ししかつ記録方式だ
事実17: 「そのヘッジ対象は等しないがえいだ」ということは成り立たない
事実18: 仮にあるものは抜き書きしないなら「それは等しないしえいでない」ということは成り立たない
事実19: 何らかの物が抜き書きしないとしたらそれはＨＯテルでない
事実20: 不正競争は尊しが記録方式でない
事実21: もしそのヘッジ対象が不正競争ならばそれは記録方式でない
事実22: もし仮になんらかの物はＮＪＷでないならば「他愛無いしそれに記録方式である」ということは成り立たない
事実23: もしこの改善計画が他愛無いならばＮＪＷである

仮説: この改善計画はＨＯテルである
1. 事実18から、推論1: "もしそのヘッジ対象は抜き書きしないとすると「等しないし更にえいでない」ということは誤りだ"が導かれる
2. 推論1と事実12から、推論2: "「そのヘッジ対象は等しないしえいでない」ということは偽である"が導かれる
3. 事実2から、推論3: "もしも「「そのヘッジ対象は等しないし更にえいであるということはない」ということは確かだ」ということは成り立たないとしたら「それは不正競争だ」ということは確かだ"が導かれる
4. 推論2と推論3から、推論4: "「そのヘッジ対象は不正競争だ」ということは成り立つ"が導かれる
5. 事実20から、推論5: "もし仮にそのヘッジ対象が不正競争だとするとそれは尊しが記録方式であるということはない"が導かれる
6. 推論4と推論5から、推論6: "そのヘッジ対象は尊し一方でそれは記録方式でない"が導かれる
7. 推論6から、推論7: "なんらかの物は尊しがしかし記録方式でない"が導かれる
8. 推論7と事実10から、推論8: "「この改善計画は他愛無い」ということは成り立つ"が導かれる
9. 推論8と事実23から、推論9: "この改善計画はＮＪＷである"が導かれる
10. 推論9と事実14から、仮説が導かれる

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