あの六日改正は甲高くない
fact1: もしあの軍団が甲高くないとしたらあの六日改正は御恥ずかしい fact2: あの軍団が甲高いならばそのハングルは応募資格だ fact3: 何かはひもじい fact4: 仮にこの情報官室が申し訳無いしそれが甲高いとすればそのハングルは応募資格でない fact5: 仮にあの軍団が甲高くないとしたらあの六日改正は甲高くておまけに御恥ずかしい fact6: 御恥ずかしいものがあるとしたらそのハングルは目違いでない fact7: もし仮にそのハングルは申し訳無いとしたら「あの軍団はマナー違反であるか応募資格であるということはないかあるいは両方だ」ということは偽である fact8: そのハングルはマナー違反である fact9: もし何らかの物は目違いでないとしたらそれは申し訳無い fact10: この情報官室は申し訳無い fact11: もしこの情報官室は帰結しないかまたは段階毎でないかもしくはどちらもであるとすれば「それは帰結しない」ということは確かである fact12: ひもじいものがあるとすればこの情報官室は五時過ぎでない fact13: 仮になにかは五時過ぎでないとするとそれは沈黙すしおまけに犯し難い fact14: もしなんらかのものが帰結するということはない一方で沈黙すとするとそれは御恥ずかしい fact15: そのハングルが応募資格だしそれがマナー違反だとするとこの情報官室は申し訳無くない fact16: この情報官室は帰結するということはないかまたはそれは段階毎でないかまたは両方ともである
void -> assump1: 以下のように仮定する。あの軍団は甲高い; fact2 & assump1 -> int1: 「そのハングルは応募資格だ」ということは間違いだということはない; int1 & fact8 -> int2: 「そのハングルは応募資格であるしかつマナー違反だ」ということは成り立つ; int2 & fact15 -> int3: この情報官室は申し訳無くない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの軍団は甲高くない; int5 & fact5 -> int6: あの六日改正は甲高くてそれに御恥ずかしい; int6 -> hypothesis;
あの六日改正は甲高くない
fact22 -> int7: もし「そのハングルは目違いでない」ということは成り立てば申し訳無い; fact25 -> int8: 仮にこの情報官室は帰結しないけど沈黙すれば御恥ずかしい; fact17 & fact21 -> int9: この情報官室は帰結するということはない; fact23 -> int10: もしもこの情報官室が五時過ぎでないならそれは沈黙すし加えて犯し難い; fact19 & fact20 -> int11: この情報官室は五時過ぎでない; int10 & int11 -> int12: この情報官室は沈黙すしさらに犯し難い; int12 -> int13: この情報官室は沈黙す; int9 & int13 -> int14: この情報官室は帰結しないけどそれは沈黙す; int8 & int14 -> int15: この情報官室は御恥ずかしい; int15 -> int16: なにがしかのものは御恥ずかしい; int16 & fact24 -> int17: そのハングルは目違いであるということはない; int7 & int17 -> int18: そのハングルは申し訳無い; fact18 & int18 -> int19: 「あの軍団はマナー違反であるか応募資格でない」ということは成り立つということはない; int19 -> int20: 「「マナー違反であるかもしくは応募資格であるということはないか両方ともである」ということは成り立たない」物はある;
$facts$ = fact1: もしあの軍団が甲高くないとしたらあの六日改正は御恥ずかしい fact2: あの軍団が甲高いならばそのハングルは応募資格だ fact3: 何かはひもじい fact4: 仮にこの情報官室が申し訳無いしそれが甲高いとすればそのハングルは応募資格でない fact5: 仮にあの軍団が甲高くないとしたらあの六日改正は甲高くておまけに御恥ずかしい fact6: 御恥ずかしいものがあるとしたらそのハングルは目違いでない fact7: もし仮にそのハングルは申し訳無いとしたら「あの軍団はマナー違反であるか応募資格であるということはないかあるいは両方だ」ということは偽である fact8: そのハングルはマナー違反である fact9: もし何らかの物は目違いでないとしたらそれは申し訳無い fact10: この情報官室は申し訳無い fact11: もしこの情報官室は帰結しないかまたは段階毎でないかもしくはどちらもであるとすれば「それは帰結しない」ということは確かである fact12: ひもじいものがあるとすればこの情報官室は五時過ぎでない fact13: 仮になにかは五時過ぎでないとするとそれは沈黙すしおまけに犯し難い fact14: もしなんらかのものが帰結するということはない一方で沈黙すとするとそれは御恥ずかしい fact15: そのハングルが応募資格だしそれがマナー違反だとするとこの情報官室は申し訳無くない fact16: この情報官室は帰結するということはないかまたはそれは段階毎でないかまたは両方ともである ; $hypothesis$ = あの六日改正は甲高くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの軍団は甲高い; fact2 & assump1 -> int1: 「そのハングルは応募資格だ」ということは間違いだということはない; int1 & fact8 -> int2: 「そのハングルは応募資格であるしかつマナー違反だ」ということは成り立つ; int2 & fact15 -> int3: この情報官室は申し訳無くない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの軍団は甲高くない; int5 & fact5 -> int6: あの六日改正は甲高くてそれに御恥ずかしい; int6 -> hypothesis; __DISPROVED__
事実1: もしあの軍団が甲高くないとしたらあの六日改正は御恥ずかしい
事実2: あの軍団が甲高いならばそのハングルは応募資格だ
事実3: 何かはひもじい
事実4: 仮にこの情報官室が申し訳無いしそれが甲高いとすればそのハングルは応募資格でない
事実5: 仮にあの軍団が甲高くないとしたらあの六日改正は甲高くておまけに御恥ずかしい
事実6: 御恥ずかしいものがあるとしたらそのハングルは目違いでない
事実7: もし仮にそのハングルは申し訳無いとしたら「あの軍団はマナー違反であるか応募資格であるということはないかあるいは両方だ」ということは偽である
事実8: そのハングルはマナー違反である
事実9: もし何らかの物は目違いでないとしたらそれは申し訳無い
事実10: この情報官室は申し訳無い
事実11: もしこの情報官室は帰結しないかまたは段階毎でないかもしくはどちらもであるとすれば「それは帰結しない」ということは確かである
事実12: ひもじいものがあるとすればこの情報官室は五時過ぎでない
事実13: 仮になにかは五時過ぎでないとするとそれは沈黙すしおまけに犯し難い
事実14: もしなんらかのものが帰結するということはない一方で沈黙すとするとそれは御恥ずかしい
事実15: そのハングルが応募資格だしそれがマナー違反だとするとこの情報官室は申し訳無くない
事実16: この情報官室は帰結するということはないかまたはそれは段階毎でないかまたは両方ともである

仮説: あの六日改正は甲高くない
1. 仮定1: 以下のように仮定する。あの軍団は甲高い
2. 事実2と仮定1から、推論1: "「そのハングルは応募資格だ」ということは間違いだということはない"が導かれる
3. 推論1と事実8から、推論2: "「そのハングルは応募資格であるしかつマナー違反だ」ということは成り立つ"が導かれる
4. 推論2と事実15から、推論3: "この情報官室は申し訳無くない"が導かれる
5. 推論3と事実10から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの軍団は甲高くない"が導かれる
7. 推論5と事実5から、推論6: "あの六日改正は甲高くてそれに御恥ずかしい"が導かれる
8. 推論6から、仮説が否定される

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