あの懲戒処分はだらけるがしかしそれは消し止めない
fact1: あの懲戒処分は故無くない fact2: おっかしい物はだらけるけれど消し止めるということはない fact3: もし仮になにかは運び出さなくて結び付き易くないとしたらそれは故無くない fact4: 仮になにがしかのものはこだわらないし更に調停しないならそれはおっかしくない fact5: もしも「なにがしかの物はおっかしくない」ということは本当だとしたら「それがだらけるしその上消し止めない」ということは正しくない fact6: もしもなにかは昇降しないとするとおっかしいしその上故無い fact7: もし仮にあの懲戒処分が故無くないならばこだわるということはなくて調停しない fact8: もしあの懲戒処分は長衣でないとすると「それはおっかしいし付け難い」ということは間違いだ
fact4 -> int1: もしあの懲戒処分はこだわらないしその上調停しないならばおっかしいということはない; fact1 & fact7 -> int2: あの懲戒処分はこだわらないしそれにそれは調停しない; int1 & int2 -> int3: あの懲戒処分はおっかしくない; fact5 -> int4: もし「あの懲戒処分はおっかしいということはない」ということは事実ならば「それはだらけるし消し止めない」ということは間違いだ; int3 & int4 -> hypothesis;
もし仮にあの存廃が運び出さないしさらにそれが結び付き易くないとすると故無くない
fact9 -> hypothesis;
$facts$ = fact1: あの懲戒処分は故無くない fact2: おっかしい物はだらけるけれど消し止めるということはない fact3: もし仮になにかは運び出さなくて結び付き易くないとしたらそれは故無くない fact4: 仮になにがしかのものはこだわらないし更に調停しないならそれはおっかしくない fact5: もしも「なにがしかの物はおっかしくない」ということは本当だとしたら「それがだらけるしその上消し止めない」ということは正しくない fact6: もしもなにかは昇降しないとするとおっかしいしその上故無い fact7: もし仮にあの懲戒処分が故無くないならばこだわるということはなくて調停しない fact8: もしあの懲戒処分は長衣でないとすると「それはおっかしいし付け難い」ということは間違いだ ; $hypothesis$ = あの懲戒処分はだらけるがしかしそれは消し止めない ; $proof$ = 
fact4 -> int1: もしあの懲戒処分はこだわらないしその上調停しないならばおっかしいということはない; fact1 & fact7 -> int2: あの懲戒処分はこだわらないしそれにそれは調停しない; int1 & int2 -> int3: あの懲戒処分はおっかしくない; fact5 -> int4: もし「あの懲戒処分はおっかしいということはない」ということは事実ならば「それはだらけるし消し止めない」ということは間違いだ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの懲戒処分は故無くない
事実2: おっかしい物はだらけるけれど消し止めるということはない
事実3: もし仮になにかは運び出さなくて結び付き易くないとしたらそれは故無くない
事実4: 仮になにがしかのものはこだわらないし更に調停しないならそれはおっかしくない
事実5: もしも「なにがしかの物はおっかしくない」ということは本当だとしたら「それがだらけるしその上消し止めない」ということは正しくない
事実6: もしもなにかは昇降しないとするとおっかしいしその上故無い
事実7: もし仮にあの懲戒処分が故無くないならばこだわるということはなくて調停しない
事実8: もしあの懲戒処分は長衣でないとすると「それはおっかしいし付け難い」ということは間違いだ

仮説: あの懲戒処分はだらけるがしかしそれは消し止めない
1. 事実4から、推論1: "もしあの懲戒処分はこだわらないしその上調停しないならばおっかしいということはない"が導かれる
2. 事実1と事実7から、推論2: "あの懲戒処分はこだわらないしそれにそれは調停しない"が導かれる
3. 推論1と推論2から、推論3: "あの懲戒処分はおっかしくない"が導かれる
4. 事実5から、推論4: "もし「あの懲戒処分はおっかしいということはない」ということは事実ならば「それはだらけるし消し止めない」ということは間違いだ"が導かれる
5. 推論3と推論4から、仮説が否定される

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