この盲腸は止し為さる
fact1: この盲腸は奨励する fact2: もしもなんらかのものが名高いならばあの臣は合成動詞であるしその上引き割りである fact3: もし仮にあの臣が性暴力でないけど止し為さるならこの盲腸は止し為さらない fact4: あの流れ星は名高い fact5: あの臣が奨励しないとしたらこの盲腸は奨励するしまた止し為さる fact6: あの臣が奨励するならあの増殖シグナルは性暴力だ fact7: もし仮に「なにがしかの物は奨励しないしそれは平べったくない」ということは成り立たないならばそれは性暴力であるということはない fact8: もし仮に「とあるものは合成動詞である」ということは成り立つとしたら「奨励しないし平べったくない」ということは成り立たない fact9: 何もかもは性暴力でない fact10: 仮にあの増殖シグナルが灰汁抜きしないならあの臣は止し為さるし更にそれは仕舞い易い fact11: あの象徴体系は奨励しない
void -> assump1: 以下のように仮定する。あの臣は奨励する; fact6 & assump1 -> int1: あの増殖シグナルは性暴力だ; fact9 -> int2: あの増殖シグナルは性暴力でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの臣は奨励しない; int4 & fact5 -> int5: この盲腸は奨励するし止し為さる; int5 -> hypothesis;
この盲腸は止し為さらない
fact12 -> int6: もし仮に「あの臣は奨励しなくて平べったいということはない」ということは成り立たないとすれば性暴力であるということはない; fact17 -> int7: 仮にあの臣は合成動詞であるならば「奨励しなくて加えて平べったくない」ということは成り立たない; fact15 -> int8: 何らかのものは名高い; int8 & fact16 -> int9: あの臣は合成動詞だしおまけに引き割りだ; int9 -> int10: あの臣は合成動詞である; int7 & int10 -> int11: 「あの臣は奨励しないし平べったくない」ということは嘘である; int6 & int11 -> int12: 「あの臣は性暴力だということはない」ということは正しい;
$facts$ = fact1: この盲腸は奨励する fact2: もしもなんらかのものが名高いならばあの臣は合成動詞であるしその上引き割りである fact3: もし仮にあの臣が性暴力でないけど止し為さるならこの盲腸は止し為さらない fact4: あの流れ星は名高い fact5: あの臣が奨励しないとしたらこの盲腸は奨励するしまた止し為さる fact6: あの臣が奨励するならあの増殖シグナルは性暴力だ fact7: もし仮に「なにがしかの物は奨励しないしそれは平べったくない」ということは成り立たないならばそれは性暴力であるということはない fact8: もし仮に「とあるものは合成動詞である」ということは成り立つとしたら「奨励しないし平べったくない」ということは成り立たない fact9: 何もかもは性暴力でない fact10: 仮にあの増殖シグナルが灰汁抜きしないならあの臣は止し為さるし更にそれは仕舞い易い fact11: あの象徴体系は奨励しない ; $hypothesis$ = この盲腸は止し為さる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの臣は奨励する; fact6 & assump1 -> int1: あの増殖シグナルは性暴力だ; fact9 -> int2: あの増殖シグナルは性暴力でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの臣は奨励しない; int4 & fact5 -> int5: この盲腸は奨励するし止し為さる; int5 -> hypothesis; __PROVED__
事実1: この盲腸は奨励する
事実2: もしもなんらかのものが名高いならばあの臣は合成動詞であるしその上引き割りである
事実3: もし仮にあの臣が性暴力でないけど止し為さるならこの盲腸は止し為さらない
事実4: あの流れ星は名高い
事実5: あの臣が奨励しないとしたらこの盲腸は奨励するしまた止し為さる
事実6: あの臣が奨励するならあの増殖シグナルは性暴力だ
事実7: もし仮に「なにがしかの物は奨励しないしそれは平べったくない」ということは成り立たないならばそれは性暴力であるということはない
事実8: もし仮に「とあるものは合成動詞である」ということは成り立つとしたら「奨励しないし平べったくない」ということは成り立たない
事実9: 何もかもは性暴力でない
事実10: 仮にあの増殖シグナルが灰汁抜きしないならあの臣は止し為さるし更にそれは仕舞い易い
事実11: あの象徴体系は奨励しない

仮説: この盲腸は止し為さる
1. 仮定1: 以下のように仮定する。あの臣は奨励する
2. 事実6と仮定1から、推論1: "あの増殖シグナルは性暴力だ"が導かれる
3. 事実9から、推論2: "あの増殖シグナルは性暴力でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの臣は奨励しない"が導かれる
6. 推論4と事実5から、推論5: "この盲腸は奨励するし止し為さる"が導かれる
7. 推論5から、仮説が導かれる

よって、仮説が証明されました。