その真・善・美は香ばしかない
fact1: もしあの停止条件が纏まり易くないとすれば当たれないかまたはそれは赤っぽいということはない fact2: 仮に「あの停止条件は不可だということはないけれど得難し」ということは成り立たないとすればあの真・善・美は香ばしかない fact3: もしもあの停止条件が不可でないならその真・善・美は不可であるしそれは得難し fact4: もしなんらかのものが当たれないとすると香ばしくてそれに不可だ fact5: 不可は香ばしい fact6: もしも「あの停止条件は不可でない」ということは成り立てばその真・善・美は得難し fact7: その真・善・美は得難し fact8: あの停止条件は抱けるということはない一方で世知辛い fact9: あの停止条件は抱けるということはない fact10: あの停止条件は香ばしい fact11: 仮にあの停止条件が抱けないけれど世知辛いならばそれは不可でない fact12: あの停止条件は得難し fact13: あの停止条件が抱けるし更にそれが世知辛いならばそれは不可でない
fact11 & fact8 -> int1: あの停止条件は不可でない; int1 & fact3 -> int2: その真・善・美は不可でそれに得難し; int2 -> int3: その真・善・美は不可である; fact5 -> int4: もしその真・善・美が不可だとしたらそれは香ばしい; int3 & int4 -> hypothesis;
その真・善・美は香ばしかない
$facts$ = fact1: もしあの停止条件が纏まり易くないとすれば当たれないかまたはそれは赤っぽいということはない fact2: 仮に「あの停止条件は不可だということはないけれど得難し」ということは成り立たないとすればあの真・善・美は香ばしかない fact3: もしもあの停止条件が不可でないならその真・善・美は不可であるしそれは得難し fact4: もしなんらかのものが当たれないとすると香ばしくてそれに不可だ fact5: 不可は香ばしい fact6: もしも「あの停止条件は不可でない」ということは成り立てばその真・善・美は得難し fact7: その真・善・美は得難し fact8: あの停止条件は抱けるということはない一方で世知辛い fact9: あの停止条件は抱けるということはない fact10: あの停止条件は香ばしい fact11: 仮にあの停止条件が抱けないけれど世知辛いならばそれは不可でない fact12: あの停止条件は得難し fact13: あの停止条件が抱けるし更にそれが世知辛いならばそれは不可でない ; $hypothesis$ = その真・善・美は香ばしかない ; $proof$ = 
fact11 & fact8 -> int1: あの停止条件は不可でない; int1 & fact3 -> int2: その真・善・美は不可でそれに得難し; int2 -> int3: その真・善・美は不可である; fact5 -> int4: もしその真・善・美が不可だとしたらそれは香ばしい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしあの停止条件が纏まり易くないとすれば当たれないかまたはそれは赤っぽいということはない
事実2: 仮に「あの停止条件は不可だということはないけれど得難し」ということは成り立たないとすればあの真・善・美は香ばしかない
事実3: もしもあの停止条件が不可でないならその真・善・美は不可であるしそれは得難し
事実4: もしなんらかのものが当たれないとすると香ばしくてそれに不可だ
事実5: 不可は香ばしい
事実6: もしも「あの停止条件は不可でない」ということは成り立てばその真・善・美は得難し
事実7: その真・善・美は得難し
事実8: あの停止条件は抱けるということはない一方で世知辛い
事実9: あの停止条件は抱けるということはない
事実10: あの停止条件は香ばしい
事実11: 仮にあの停止条件が抱けないけれど世知辛いならばそれは不可でない
事実12: あの停止条件は得難し
事実13: あの停止条件が抱けるし更にそれが世知辛いならばそれは不可でない

仮説: その真・善・美は香ばしかない
1. 事実11と事実8から、推論1: "あの停止条件は不可でない"が導かれる
2. 推論1と事実3から、推論2: "その真・善・美は不可でそれに得難し"が導かれる
3. 推論2から、推論3: "その真・善・美は不可である"が導かれる
4. 事実5から、推論4: "もしその真・善・美が不可だとしたらそれは香ばしい"が導かれる
5. 推論3と推論4から、仮説が否定される

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