「なにがしかのものは座視出来ないが熱苦しい」ということは成り立たない
fact1: もし仮に「このライスバーガーは間断無い」ということは事実だとしたらその寸分は間断無いが目まぐるしかない fact2: もしこのライスバーガーが間断無いならばあの寸分は目まぐるしいということはない fact3: もしもそのハ短調は間断無いとしたら「その寸分は発生し易くないし加えて座視出来ない」ということは事実と異なる fact4: 「「その寸分は間断無いし目まぐるしい」ということは事実だ」ということは間違いだ fact5: もし仮にあるものは落書きしないとすれば「それは間断無いが目まぐるしいということはない」ということは成り立たない fact6: 「もしもなんらかの物は落書きしないとすると「それは熱苦しくないがしかし目まぐるしい」ということは事実と異なる」ということは本当だ fact7: もし「そのハ短調は座視出来る」ということは確かであるならこのライスバーガーは間断無い fact8: 「その町奉行は珍しかないが発生し易い」ということは嘘だ fact9: なにかは落書きしないとしたら「間断無くてそれに目まぐるしい」ということは間違いである fact10: その寸分は落書きしない fact11: 「「座視出来ない」ということは成り立つ」ものはある fact12: もしその町奉行が発生し易いならそのハ短調は熱苦しい fact13: その理学部は発生し易い fact14: もし仮に「その町奉行は珍しかないものでありまた発生し易くない」ということは成り立たないとすればそのハ短調は熱苦しい fact15: 「仮に「なんらかのものは発生し易くないし座視出来ない」ということは成り立たないとすると「発生し易い」ということは本当だ」ということは事実だ fact16: 「その町奉行は珍しいということはないし発生し易いということはない」ということは偽だ
void -> assump1: 以下のように仮定する。そのハ短調は座視出来る; fact7 & assump1 -> int1: このライスバーガーは間断無い; int1 & fact1 -> int2: その寸分は間断無いが目まぐるしいということはない; fact5 -> int3: 「その寸分は落書きしないとすれば「その寸分は間断無いがしかし目まぐるしかない」ということは偽である」ということは成り立つ; int3 & fact10 -> int4: 「その寸分は間断無いけどそれは目まぐるしかない」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのハ短調は座視出来ない; fact14 & fact16 -> int7: 「そのハ短調は熱苦しい」ということは間違いでない; int6 & int7 -> int8: そのハ短調は座視出来ないが熱苦しい; int8 -> hypothesis;
その寸分は発生し易い
fact19 -> int9: もし仮に「その寸分は発生し易くないししかも座視出来ない」ということは本当だということはないとしたら発生し易い; fact17 -> int10: もし「このライスバーガーは落書きしない」ということは本当であるなら「熱苦しいということはないが目まぐるしい」ということは偽だ;
$facts$ = fact1: もし仮に「このライスバーガーは間断無い」ということは事実だとしたらその寸分は間断無いが目まぐるしかない fact2: もしこのライスバーガーが間断無いならばあの寸分は目まぐるしいということはない fact3: もしもそのハ短調は間断無いとしたら「その寸分は発生し易くないし加えて座視出来ない」ということは事実と異なる fact4: 「「その寸分は間断無いし目まぐるしい」ということは事実だ」ということは間違いだ fact5: もし仮にあるものは落書きしないとすれば「それは間断無いが目まぐるしいということはない」ということは成り立たない fact6: 「もしもなんらかの物は落書きしないとすると「それは熱苦しくないがしかし目まぐるしい」ということは事実と異なる」ということは本当だ fact7: もし「そのハ短調は座視出来る」ということは確かであるならこのライスバーガーは間断無い fact8: 「その町奉行は珍しかないが発生し易い」ということは嘘だ fact9: なにかは落書きしないとしたら「間断無くてそれに目まぐるしい」ということは間違いである fact10: その寸分は落書きしない fact11: 「「座視出来ない」ということは成り立つ」ものはある fact12: もしその町奉行が発生し易いならそのハ短調は熱苦しい fact13: その理学部は発生し易い fact14: もし仮に「その町奉行は珍しかないものでありまた発生し易くない」ということは成り立たないとすればそのハ短調は熱苦しい fact15: 「仮に「なんらかのものは発生し易くないし座視出来ない」ということは成り立たないとすると「発生し易い」ということは本当だ」ということは事実だ fact16: 「その町奉行は珍しいということはないし発生し易いということはない」ということは偽だ ; $hypothesis$ = 「なにがしかのものは座視出来ないが熱苦しい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのハ短調は座視出来る; fact7 & assump1 -> int1: このライスバーガーは間断無い; int1 & fact1 -> int2: その寸分は間断無いが目まぐるしいということはない; fact5 -> int3: 「その寸分は落書きしないとすれば「その寸分は間断無いがしかし目まぐるしかない」ということは偽である」ということは成り立つ; int3 & fact10 -> int4: 「その寸分は間断無いけどそれは目まぐるしかない」ということは成り立たない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのハ短調は座視出来ない; fact14 & fact16 -> int7: 「そのハ短調は熱苦しい」ということは間違いでない; int6 & int7 -> int8: そのハ短調は座視出来ないが熱苦しい; int8 -> hypothesis; __DISPROVED__
事実1: もし仮に「このライスバーガーは間断無い」ということは事実だとしたらその寸分は間断無いが目まぐるしかない
事実2: もしこのライスバーガーが間断無いならばあの寸分は目まぐるしいということはない
事実3: もしもそのハ短調は間断無いとしたら「その寸分は発生し易くないし加えて座視出来ない」ということは事実と異なる
事実4: 「「その寸分は間断無いし目まぐるしい」ということは事実だ」ということは間違いだ
事実5: もし仮にあるものは落書きしないとすれば「それは間断無いが目まぐるしいということはない」ということは成り立たない
事実6: 「もしもなんらかの物は落書きしないとすると「それは熱苦しくないがしかし目まぐるしい」ということは事実と異なる」ということは本当だ
事実7: もし「そのハ短調は座視出来る」ということは確かであるならこのライスバーガーは間断無い
事実8: 「その町奉行は珍しかないが発生し易い」ということは嘘だ
事実9: なにかは落書きしないとしたら「間断無くてそれに目まぐるしい」ということは間違いである
事実10: その寸分は落書きしない
事実11: 「「座視出来ない」ということは成り立つ」ものはある
事実12: もしその町奉行が発生し易いならそのハ短調は熱苦しい
事実13: その理学部は発生し易い
事実14: もし仮に「その町奉行は珍しかないものでありまた発生し易くない」ということは成り立たないとすればそのハ短調は熱苦しい
事実15: 「仮に「なんらかのものは発生し易くないし座視出来ない」ということは成り立たないとすると「発生し易い」ということは本当だ」ということは事実だ
事実16: 「その町奉行は珍しいということはないし発生し易いということはない」ということは偽だ

仮説: 「なにがしかのものは座視出来ないが熱苦しい」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのハ短調は座視出来る
2. 事実7と仮定1から、推論1: "このライスバーガーは間断無い"が導かれる
3. 推論1と事実1から、推論2: "その寸分は間断無いが目まぐるしいということはない"が導かれる
4. 事実5から、推論3: "「その寸分は落書きしないとすれば「その寸分は間断無いがしかし目まぐるしかない」ということは偽である」ということは成り立つ"が導かれる
5. 推論3と事実10から、推論4: "「その寸分は間断無いけどそれは目まぐるしかない」ということは成り立たない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのハ短調は座視出来ない"が導かれる
8. 事実14と事実16から、推論7: "「そのハ短調は熱苦しい」ということは間違いでない"が導かれる
9. 推論6と推論7から、推論8: "そのハ短調は座視出来ないが熱苦しい"が導かれる
10. 推論8から、仮説が否定される

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