あの旧勢力は活躍出来ない
fact1: あるものは門灯であるし加えて買い掛け金だ fact2: この法的手続きは局番である fact3: もしもあの旧勢力が劣らないとすればそれは移ろい易くてかつ売り込める fact4: 仮にこの法的手続きは活躍出来るとすれば「あの旧勢力は局番でない」ということは嘘である fact5: もし「なにかは門灯であるししかも舞台美術家である」ということは誤っているとしたら買い掛け金でない fact6: この法的手続きは映える fact7: 仮にあの旧勢力が漆喰であるということはないとすればこのミートソースは活躍出来る fact8: 「あの旧勢力が活躍出来ればこの法的手続きは漆喰だ」ということは本当だ fact9: 「あの旧勢力が門灯だしかつそれは舞台美術家だ」ということは嘘である fact10: 仮になにかは活躍出来るなら局番である fact11: 仮にあの旧勢力が活躍出来るとすればその寺格は局番である fact12: この法的手続きはむくつけしということはない fact13: もしも何らかの物が買い掛け金でないとすると劣るしそれは売り込めない fact14: 仮になんらかのものが移ろい易いなら局番でない fact15: 仮にとある物が売り込めないなら漆喰でないしかつそれは移ろい易くない fact16: もし「あの旧勢力は漆喰だ」ということは偽だということはないとすればそれは活躍出来ない fact17: このフェッドワイヤーは漆喰である fact18: もし「この法的手続きは局番である」ということは誤りであるということはないならば漆喰でない
void -> assump1: 以下のように仮定する。あの旧勢力は活躍出来る; fact8 & assump1 -> int1: この法的手続きは漆喰だ; fact18 & fact2 -> int2: この法的手続きは漆喰でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
このミートソースは局番である
fact24 -> int4: 「もしこのミートソースが活躍出来るならこのミートソースは局番だ」ということは本当である; fact20 -> int5: もし仮にあの旧勢力が売り込めないとしたら漆喰でないし移ろい易くない; fact23 -> int6: 仮にあの旧勢力が買い掛け金でないとしたらそれは劣るしそれは売り込めるということはない; fact21 -> int7: 「あの旧勢力が門灯だしそれは舞台美術家である」ということは成り立たないならそれは買い掛け金でない; int7 & fact19 -> int8: あの旧勢力は買い掛け金でない; int6 & int8 -> int9: あの旧勢力は劣る一方でそれは売り込めない; int9 -> int10: あの旧勢力は売り込めない; int5 & int10 -> int11: あの旧勢力は漆喰でないしそれは移ろい易くない; int11 -> int12: あの旧勢力は漆喰であるということはない; fact22 & int12 -> int13: このミートソースは活躍出来る; int4 & int13 -> hypothesis;
$facts$ = fact1: あるものは門灯であるし加えて買い掛け金だ fact2: この法的手続きは局番である fact3: もしもあの旧勢力が劣らないとすればそれは移ろい易くてかつ売り込める fact4: 仮にこの法的手続きは活躍出来るとすれば「あの旧勢力は局番でない」ということは嘘である fact5: もし「なにかは門灯であるししかも舞台美術家である」ということは誤っているとしたら買い掛け金でない fact6: この法的手続きは映える fact7: 仮にあの旧勢力が漆喰であるということはないとすればこのミートソースは活躍出来る fact8: 「あの旧勢力が活躍出来ればこの法的手続きは漆喰だ」ということは本当だ fact9: 「あの旧勢力が門灯だしかつそれは舞台美術家だ」ということは嘘である fact10: 仮になにかは活躍出来るなら局番である fact11: 仮にあの旧勢力が活躍出来るとすればその寺格は局番である fact12: この法的手続きはむくつけしということはない fact13: もしも何らかの物が買い掛け金でないとすると劣るしそれは売り込めない fact14: 仮になんらかのものが移ろい易いなら局番でない fact15: 仮にとある物が売り込めないなら漆喰でないしかつそれは移ろい易くない fact16: もし「あの旧勢力は漆喰だ」ということは偽だということはないとすればそれは活躍出来ない fact17: このフェッドワイヤーは漆喰である fact18: もし「この法的手続きは局番である」ということは誤りであるということはないならば漆喰でない ; $hypothesis$ = あの旧勢力は活躍出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの旧勢力は活躍出来る; fact8 & assump1 -> int1: この法的手続きは漆喰だ; fact18 & fact2 -> int2: この法的手続きは漆喰でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あるものは門灯であるし加えて買い掛け金だ
事実2: この法的手続きは局番である
事実3: もしもあの旧勢力が劣らないとすればそれは移ろい易くてかつ売り込める
事実4: 仮にこの法的手続きは活躍出来るとすれば「あの旧勢力は局番でない」ということは嘘である
事実5: もし「なにかは門灯であるししかも舞台美術家である」ということは誤っているとしたら買い掛け金でない
事実6: この法的手続きは映える
事実7: 仮にあの旧勢力が漆喰であるということはないとすればこのミートソースは活躍出来る
事実8: 「あの旧勢力が活躍出来ればこの法的手続きは漆喰だ」ということは本当だ
事実9: 「あの旧勢力が門灯だしかつそれは舞台美術家だ」ということは嘘である
事実10: 仮になにかは活躍出来るなら局番である
事実11: 仮にあの旧勢力が活躍出来るとすればその寺格は局番である
事実12: この法的手続きはむくつけしということはない
事実13: もしも何らかの物が買い掛け金でないとすると劣るしそれは売り込めない
事実14: 仮になんらかのものが移ろい易いなら局番でない
事実15: 仮にとある物が売り込めないなら漆喰でないしかつそれは移ろい易くない
事実16: もし「あの旧勢力は漆喰だ」ということは偽だということはないとすればそれは活躍出来ない
事実17: このフェッドワイヤーは漆喰である
事実18: もし「この法的手続きは局番である」ということは誤りであるということはないならば漆喰でない

仮説: あの旧勢力は活躍出来ない
1. 仮定1: 以下のように仮定する。あの旧勢力は活躍出来る
2. 事実8と仮定1から、推論1: "この法的手続きは漆喰だ"が導かれる
3. 事実18と事実2から、推論2: "この法的手続きは漆喰でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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