「「もし「ジャバスクリプトでなくてかつ醜くない」ということは嘘だとするといじらしい」物はある」ということは偽だ
fact1: もしも「「あの技術集積はジャバスクリプトだがしかし醜くない」ということは本当である」ということは誤りだとすればそれはいじらしい fact2: もしも「なにかはジャバスクリプトであるが醜くない」ということは偽であるならばいじらしい fact3: 「「ジャバスクリプトでその上醜くない」ということは成り立つということはないとすればいじらしい」物はある fact4: あの技術集積が醜いとしたらそれはいじらしい fact5: 「もし醜いならいじらしい」物はある fact6: 仮にあの技術集積がジャバスクリプトでなくてその上それが醜いということはないとしたらいじらしい fact7: 何かは醜いならばそれはいじらしい fact8: 「「痛くなくてかつ岩戸神社でない」ということは誤りだとすると通貨価値である」ものはある fact9: もしなにかはジャバスクリプトだということはないしそれに醜くないとするとそれはいじらしい fact10: 「もし「有責性でないしグラフエリアでない」ということは間違いであるとすると乙区である」物はある fact11: 「もしもジャバスクリプトでなくてまた醜いということはないとするといじらしい」ものはある fact12: 仮に「あるものはジャバスクリプトでなくてそれにそれは醜くない」ということは事実でないとすればいじらしい fact13: 「もし「並べ入れないしかつ成せらない」ということは成り立たないとすれば「盛り立てる」ということは正しい」物はある fact14: もしも「この不法滞在は御恥ずかしくないしその上目覚ましいない」ということは成り立たないとすればそれはいじらしい fact15: 「仮に「特許等であるということはなくておまけにどでかくない」ということは確かでないとしたら通り易い」ものはある
fact12 -> int1: 「あの技術集積はジャバスクリプトでないしそれは醜くない」ということは偽であるならば「いじらしい」ということは本当だ; int1 -> hypothesis;
$facts$ = fact1: もしも「「あの技術集積はジャバスクリプトだがしかし醜くない」ということは本当である」ということは誤りだとすればそれはいじらしい fact2: もしも「なにかはジャバスクリプトであるが醜くない」ということは偽であるならばいじらしい fact3: 「「ジャバスクリプトでその上醜くない」ということは成り立つということはないとすればいじらしい」物はある fact4: あの技術集積が醜いとしたらそれはいじらしい fact5: 「もし醜いならいじらしい」物はある fact6: 仮にあの技術集積がジャバスクリプトでなくてその上それが醜いということはないとしたらいじらしい fact7: 何かは醜いならばそれはいじらしい fact8: 「「痛くなくてかつ岩戸神社でない」ということは誤りだとすると通貨価値である」ものはある fact9: もしなにかはジャバスクリプトだということはないしそれに醜くないとするとそれはいじらしい fact10: 「もし「有責性でないしグラフエリアでない」ということは間違いであるとすると乙区である」物はある fact11: 「もしもジャバスクリプトでなくてまた醜いということはないとするといじらしい」ものはある fact12: 仮に「あるものはジャバスクリプトでなくてそれにそれは醜くない」ということは事実でないとすればいじらしい fact13: 「もし「並べ入れないしかつ成せらない」ということは成り立たないとすれば「盛り立てる」ということは正しい」物はある fact14: もしも「この不法滞在は御恥ずかしくないしその上目覚ましいない」ということは成り立たないとすればそれはいじらしい fact15: 「仮に「特許等であるということはなくておまけにどでかくない」ということは確かでないとしたら通り易い」ものはある ; $hypothesis$ = 「「もし「ジャバスクリプトでなくてかつ醜くない」ということは嘘だとするといじらしい」物はある」ということは偽だ ; $proof$ = 
fact12 -> int1: 「あの技術集積はジャバスクリプトでないしそれは醜くない」ということは偽であるならば「いじらしい」ということは本当だ; int1 -> hypothesis; __DISPROVED__
事実1: もしも「「あの技術集積はジャバスクリプトだがしかし醜くない」ということは本当である」ということは誤りだとすればそれはいじらしい
事実2: もしも「なにかはジャバスクリプトであるが醜くない」ということは偽であるならばいじらしい
事実3: 「「ジャバスクリプトでその上醜くない」ということは成り立つということはないとすればいじらしい」物はある
事実4: あの技術集積が醜いとしたらそれはいじらしい
事実5: 「もし醜いならいじらしい」物はある
事実6: 仮にあの技術集積がジャバスクリプトでなくてその上それが醜いということはないとしたらいじらしい
事実7: 何かは醜いならばそれはいじらしい
事実8: 「「痛くなくてかつ岩戸神社でない」ということは誤りだとすると通貨価値である」ものはある
事実9: もしなにかはジャバスクリプトだということはないしそれに醜くないとするとそれはいじらしい
事実10: 「もし「有責性でないしグラフエリアでない」ということは間違いであるとすると乙区である」物はある
事実11: 「もしもジャバスクリプトでなくてまた醜いということはないとするといじらしい」ものはある
事実12: 仮に「あるものはジャバスクリプトでなくてそれにそれは醜くない」ということは事実でないとすればいじらしい
事実13: 「もし「並べ入れないしかつ成せらない」ということは成り立たないとすれば「盛り立てる」ということは正しい」物はある
事実14: もしも「この不法滞在は御恥ずかしくないしその上目覚ましいない」ということは成り立たないとすればそれはいじらしい
事実15: 「仮に「特許等であるということはなくておまけにどでかくない」ということは確かでないとしたら通り易い」ものはある

仮説: 「「もし「ジャバスクリプトでなくてかつ醜くない」ということは嘘だとするといじらしい」物はある」ということは偽だ
1. 事実12から、推論1: "「あの技術集積はジャバスクリプトでないしそれは醜くない」ということは偽であるならば「いじらしい」ということは本当だ"が導かれる
2. 推論1から、仮説が否定される

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