このマイクロチューブは嬉しくない
fact1: この経営手腕は痛くないがバッタ派である fact2: このマイクロチューブはバッタ派であるということはないけれど薄汚い fact3: もし仮に「この経営手腕は誤り無くないがそれはくゆらす」ということは誤りであるとすればあの国権は口惜しいということはない fact4: もし仮にあの国権がバッタ派でないが輝かしいとするとこの経営手腕は痛くない fact5: 「もしもあの国権がバッタ派でないとするとこの経営手腕は痛くない」ということは事実だ fact6: あの国権は痛いということはない fact7: 「この経営手腕は痛くない」ということは成り立つ fact8: もしあの国権がバッタ派でないとすればこの経営手腕は痛くないけどそれは輝かしい fact9: 仮にこの経営手腕が嬉しくないとしたらこのマイクロチューブは輝かしくないけれど痛い fact10: あの国権はバッタ派でない fact11: この経営手腕は痛いということはないけどそれは嬉しい fact12: もしもこのマイクロチューブが痛くないならばこの経営手腕は輝かしくないけれど嬉しい fact13: あの国権は自殺するということはない fact14: 仮に「この経営手腕はバッタ派でないがしかし痛い」ということは成り立つとしたらあの国権は輝かしくない fact15: 「なんらかの物は道義・温情でないとしたら「それは誤り無くなくてそれはくゆらす」ということは誤りだ」ということは成り立つ fact16: 「この経営手腕は痛くない一方で輝かしい」ということは成り立つとすれば「このマイクロチューブは嬉しいということはない」ということは間違っていない fact17: もしあの国権が輝かしいということはないけどバッタ派だとするとこの経営手腕は痛くない fact18: この経営手腕は労労じない fact19: もしこの経営手腕が痛いしそれが輝かしいとするとこのマイクロチューブは嬉しくない fact20: あの一番商品は迷妄でないけれどそれは痛い fact21: もし仮にあの国権が口惜しくないとするとこのマイクロチューブは嬉しくてバッタ派だ fact22: もしあの国権がバッタ派だということはない一方でそれが痛いとすればこの経営手腕は輝かしくない fact23: この経営手腕が輝かしくないがしかしバッタ派であるならばあの国権は痛いということはない
fact8 & fact10 -> int1: この経営手腕は痛くないがしかし輝かしい; int1 & fact16 -> hypothesis;
このマイクロチューブは嬉しい
fact26 -> int2: もし仮にこの経営手腕は道義・温情でないなら「それが誤り無くないしさらにそれはくゆらす」ということは間違いである;
$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$ = 
fact8 & fact10 -> int1: この経営手腕は痛くないがしかし輝かしい; int1 & fact16 -> 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. 事実8と事実10から、推論1: "この経営手腕は痛くないがしかし輝かしい"が導かれる
2. 推論1と事実16から、仮説が導かれる

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