「「ボンゴーレ・ビアンコでない」物はある」ということは成り立たない
fact1: 「「そのクレーン社は孕むということはなくて長くない」ということは間違っている」ということは真実だ fact2: 「その実行能力はヒッタイト帝国でないがしかし物狂おしい」ということは誤っているとすると成長し続けない fact3: もしも「なんらかのものは成長し続けないけれどそれは物狂おしい」ということは成り立たないならばそれは眠たくない fact4: あるものは公共建築でない fact5: もしそのクレーン社がヒッタイト帝国だとしたらそれは眠たい fact6: 「その阿呆は慈愛深くない」ということは正しい fact7: 「その評価規準はヒッタイト帝国だ一方でボンゴーレ・ビアンコでない」ということは間違いだ fact8: もし仮にその評価規準が物狂おしいならそれはヒッタイト帝国だ fact9: あのちくま学芸文庫は恥ずかしいかもしくはそれは悔しいかまたはどちらもだ fact10: もしも「あのちくま学芸文庫は悔しい」ということは成り立つとすると長い fact11: 「あのちくま学芸文庫は長い」ということは成り立てばそれはヒッタイト帝国だ fact12: 「もし仮に「なんらかの物は眠たくない一方で垢抜けする」ということは偽だとしたらそれはボンゴーレ・ビアンコでない」ということは確かだ fact13: 仮にそのクレーン社はヒッタイト帝国であるとすると「それはボンゴーレ・ビアンコだ」ということは確かである fact14: もしもあのちくま学芸文庫が長いとするとその実行能力は成長し続ける fact15: もしその評価規準が悔しくないけど成長し続けるとするとその実行能力はヒッタイト帝国だ fact16: あのちくま学芸文庫は物狂おしくない fact17: もし仮に「あの立法論はヒッタイト帝国であるということはないしその上物狂おしいということはない」ということは本当であるということはないとしたらその実行能力は気怠いということはない fact18: 「あの立法論は成長し続けるしかつヒッタイト帝国である」ということは成り立たない fact19: 「そのクレーン社は長くて更に垢抜けする」ということは偽である fact20: もし「そのクレーン社は眠たくないがしかし長い」ということは間違いであるならば「物狂おしくない」ということは成り立つ fact21: 「あのちくま学芸文庫は成長し続けないがそれは恥ずかしい」ということは嘘だ fact22: もしも「何らかの物は成長し続けないがヒッタイト帝国だ」ということは成り立つということはないとするとそれは悔しくない fact23: 長いものは成長し続ける fact24: もしもそのクレーン社が眠たいということはないが垢抜けするとすればその評価規準はヒッタイト帝国だ fact25: あのちくま学芸文庫はヒッタイト帝国である fact26: もし仮にあのちくま学芸文庫が恥ずかしいとすると長い fact27: 何かは成長し続ければそれは気怠い fact28: もしその評価規準はヒッタイト帝国だとすれば「あの立法論はヒッタイト帝国でなくておまけに物狂おしくない」ということは事実と異なる fact29: 「そのクレーン社はボンゴーレ・ビアンコでない一方で恥ずかしい」ということは間違っている
void -> assump1: 以下のように仮定する。そのクレーン社は眠たくないがしかしそれは垢抜けする; fact24 & assump1 -> int1: その評価規準はヒッタイト帝国だ; int1 & fact28 -> int2: 「あの立法論はヒッタイト帝国でなくてかつ物狂おしくない」ということは嘘である; int2 & fact17 -> int3: その実行能力は気怠いということはない; fact27 -> int4: 仮にその実行能力が成長し続けるとすれば気怠い; fact26 & fact10 & fact9 -> int5: 「あのちくま学芸文庫は長い」ということは事実だ; fact14 & int5 -> int6: その実行能力は成長し続ける; int4 & int6 -> int7: 「その実行能力は気怠い」ということは成り立つ; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「そのクレーン社は眠たくないけど垢抜けする」ということは成り立たない; fact12 -> int10: もしも「そのクレーン社は眠たくないけれど垢抜けする」ということは成り立たないとしたらそれはボンゴーレ・ビアンコだということはない; int9 & int10 -> int11: そのクレーン社はボンゴーレ・ビアンコでない; int11 -> hypothesis;
$facts$ = fact1: 「「そのクレーン社は孕むということはなくて長くない」ということは間違っている」ということは真実だ fact2: 「その実行能力はヒッタイト帝国でないがしかし物狂おしい」ということは誤っているとすると成長し続けない fact3: もしも「なんらかのものは成長し続けないけれどそれは物狂おしい」ということは成り立たないならばそれは眠たくない fact4: あるものは公共建築でない fact5: もしそのクレーン社がヒッタイト帝国だとしたらそれは眠たい fact6: 「その阿呆は慈愛深くない」ということは正しい fact7: 「その評価規準はヒッタイト帝国だ一方でボンゴーレ・ビアンコでない」ということは間違いだ fact8: もし仮にその評価規準が物狂おしいならそれはヒッタイト帝国だ fact9: あのちくま学芸文庫は恥ずかしいかもしくはそれは悔しいかまたはどちらもだ fact10: もしも「あのちくま学芸文庫は悔しい」ということは成り立つとすると長い fact11: 「あのちくま学芸文庫は長い」ということは成り立てばそれはヒッタイト帝国だ fact12: 「もし仮に「なんらかの物は眠たくない一方で垢抜けする」ということは偽だとしたらそれはボンゴーレ・ビアンコでない」ということは確かだ fact13: 仮にそのクレーン社はヒッタイト帝国であるとすると「それはボンゴーレ・ビアンコだ」ということは確かである fact14: もしもあのちくま学芸文庫が長いとするとその実行能力は成長し続ける fact15: もしその評価規準が悔しくないけど成長し続けるとするとその実行能力はヒッタイト帝国だ fact16: あのちくま学芸文庫は物狂おしくない fact17: もし仮に「あの立法論はヒッタイト帝国であるということはないしその上物狂おしいということはない」ということは本当であるということはないとしたらその実行能力は気怠いということはない fact18: 「あの立法論は成長し続けるしかつヒッタイト帝国である」ということは成り立たない fact19: 「そのクレーン社は長くて更に垢抜けする」ということは偽である fact20: もし「そのクレーン社は眠たくないがしかし長い」ということは間違いであるならば「物狂おしくない」ということは成り立つ fact21: 「あのちくま学芸文庫は成長し続けないがそれは恥ずかしい」ということは嘘だ fact22: もしも「何らかの物は成長し続けないがヒッタイト帝国だ」ということは成り立つということはないとするとそれは悔しくない fact23: 長いものは成長し続ける fact24: もしもそのクレーン社が眠たいということはないが垢抜けするとすればその評価規準はヒッタイト帝国だ fact25: あのちくま学芸文庫はヒッタイト帝国である fact26: もし仮にあのちくま学芸文庫が恥ずかしいとすると長い fact27: 何かは成長し続ければそれは気怠い fact28: もしその評価規準はヒッタイト帝国だとすれば「あの立法論はヒッタイト帝国でなくておまけに物狂おしくない」ということは事実と異なる fact29: 「そのクレーン社はボンゴーレ・ビアンコでない一方で恥ずかしい」ということは間違っている ; $hypothesis$ = 「「ボンゴーレ・ビアンコでない」物はある」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのクレーン社は眠たくないがしかしそれは垢抜けする; fact24 & assump1 -> int1: その評価規準はヒッタイト帝国だ; int1 & fact28 -> int2: 「あの立法論はヒッタイト帝国でなくてかつ物狂おしくない」ということは嘘である; int2 & fact17 -> int3: その実行能力は気怠いということはない; fact27 -> int4: 仮にその実行能力が成長し続けるとすれば気怠い; fact26 & fact10 & fact9 -> int5: 「あのちくま学芸文庫は長い」ということは事実だ; fact14 & int5 -> int6: その実行能力は成長し続ける; int4 & int6 -> int7: 「その実行能力は気怠い」ということは成り立つ; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「そのクレーン社は眠たくないけど垢抜けする」ということは成り立たない; fact12 -> int10: もしも「そのクレーン社は眠たくないけれど垢抜けする」ということは成り立たないとしたらそれはボンゴーレ・ビアンコだということはない; int9 & int10 -> int11: そのクレーン社はボンゴーレ・ビアンコでない; int11 -> hypothesis; __DISPROVED__
事実1: 「「そのクレーン社は孕むということはなくて長くない」ということは間違っている」ということは真実だ
事実2: 「その実行能力はヒッタイト帝国でないがしかし物狂おしい」ということは誤っているとすると成長し続けない
事実3: もしも「なんらかのものは成長し続けないけれどそれは物狂おしい」ということは成り立たないならばそれは眠たくない
事実4: あるものは公共建築でない
事実5: もしそのクレーン社がヒッタイト帝国だとしたらそれは眠たい
事実6: 「その阿呆は慈愛深くない」ということは正しい
事実7: 「その評価規準はヒッタイト帝国だ一方でボンゴーレ・ビアンコでない」ということは間違いだ
事実8: もし仮にその評価規準が物狂おしいならそれはヒッタイト帝国だ
事実9: あのちくま学芸文庫は恥ずかしいかもしくはそれは悔しいかまたはどちらもだ
事実10: もしも「あのちくま学芸文庫は悔しい」ということは成り立つとすると長い
事実11: 「あのちくま学芸文庫は長い」ということは成り立てばそれはヒッタイト帝国だ
事実12: 「もし仮に「なんらかの物は眠たくない一方で垢抜けする」ということは偽だとしたらそれはボンゴーレ・ビアンコでない」ということは確かだ
事実13: 仮にそのクレーン社はヒッタイト帝国であるとすると「それはボンゴーレ・ビアンコだ」ということは確かである
事実14: もしもあのちくま学芸文庫が長いとするとその実行能力は成長し続ける
事実15: もしその評価規準が悔しくないけど成長し続けるとするとその実行能力はヒッタイト帝国だ
事実16: あのちくま学芸文庫は物狂おしくない
事実17: もし仮に「あの立法論はヒッタイト帝国であるということはないしその上物狂おしいということはない」ということは本当であるということはないとしたらその実行能力は気怠いということはない
事実18: 「あの立法論は成長し続けるしかつヒッタイト帝国である」ということは成り立たない
事実19: 「そのクレーン社は長くて更に垢抜けする」ということは偽である
事実20: もし「そのクレーン社は眠たくないがしかし長い」ということは間違いであるならば「物狂おしくない」ということは成り立つ
事実21: 「あのちくま学芸文庫は成長し続けないがそれは恥ずかしい」ということは嘘だ
事実22: もしも「何らかの物は成長し続けないがヒッタイト帝国だ」ということは成り立つということはないとするとそれは悔しくない
事実23: 長いものは成長し続ける
事実24: もしもそのクレーン社が眠たいということはないが垢抜けするとすればその評価規準はヒッタイト帝国だ
事実25: あのちくま学芸文庫はヒッタイト帝国である
事実26: もし仮にあのちくま学芸文庫が恥ずかしいとすると長い
事実27: 何かは成長し続ければそれは気怠い
事実28: もしその評価規準はヒッタイト帝国だとすれば「あの立法論はヒッタイト帝国でなくておまけに物狂おしくない」ということは事実と異なる
事実29: 「そのクレーン社はボンゴーレ・ビアンコでない一方で恥ずかしい」ということは間違っている

仮説: 「「ボンゴーレ・ビアンコでない」物はある」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのクレーン社は眠たくないがしかしそれは垢抜けする
2. 事実24と仮定1から、推論1: "その評価規準はヒッタイト帝国だ"が導かれる
3. 推論1と事実28から、推論2: "「あの立法論はヒッタイト帝国でなくてかつ物狂おしくない」ということは嘘である"が導かれる
4. 推論2と事実17から、推論3: "その実行能力は気怠いということはない"が導かれる
5. 事実27から、推論4: "仮にその実行能力が成長し続けるとすれば気怠い"が導かれる
6. 事実26と事実10と事実9から、推論5: "「あのちくま学芸文庫は長い」ということは事実だ"が導かれる
7. 事実14と推論5から、推論6: "その実行能力は成長し続ける"が導かれる
8. 推論4と推論6から、推論7: "「その実行能力は気怠い」ということは成り立つ"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「そのクレーン社は眠たくないけど垢抜けする」ということは成り立たない"が導かれる
11. 事実12から、推論10: "もしも「そのクレーン社は眠たくないけれど垢抜けする」ということは成り立たないとしたらそれはボンゴーレ・ビアンコだということはない"が導かれる
12. 推論9と推論10から、推論11: "そのクレーン社はボンゴーレ・ビアンコでない"が導かれる
13. 推論11から、仮説が否定される

よって、仮説が否定されました。