その二人以上は開始すということはない一方でそれは冷え易い
fact1: 「この増額分は開始すがしかしそれは推し量れるということはない」ということは誤りである fact2: もしもこの増額分は開始すなら「その二人以上は開始すらない」ということは確かだ fact3: とあるものは冷え易くておまけにそれは開始す fact4: 「黒し」物はある fact5: なにかはじゃこ御飯だ fact6: 「この増額分は開始すらないしそれは推し量れない」ということは誤りだ fact7: 仮にとある物が黒しししかもじゃこ御飯だとしたらその二人以上は冷え易い fact8: 仮にあの公衆回線が開始すらないとすれば黒しかまたはそれはじゃこ御飯であるかもしくは両方ともだ fact9: 何かは黒ししそれにじゃこ御飯だ fact10: もし仮に何かは黒しないならば「開始すらない一方で冷え易い」ということは誤りである fact11: この増額分はじゃこ御飯でないが徒然吾妻詞だ fact12: 「この増額分は開始すらないしそれは推し量れるということはない」ということは誤りならばあの二人以上は開始すらない fact13: もしも「何かはじゃこ御飯であるかそれは介するかもしくはどちらもだ」ということは嘘であるならそれは黒しない fact14: あの公衆回線は冷え易くない
fact9 & fact7 -> int1: その二人以上は冷え易い; fact12 & fact6 -> int2: その二人以上は開始すということはない; int1 & int2 -> hypothesis;
fact9 & fact7 -> int1: {C}{a}; fact12 & fact6 -> int2: ¬{D}{a}; int1 & int2 -> hypothesis;
あの公衆回線は冷え易くないが結了する
$facts$ = fact1: 「この増額分は開始すがしかしそれは推し量れるということはない」ということは誤りである fact2: もしもこの増額分は開始すなら「その二人以上は開始すらない」ということは確かだ fact3: とあるものは冷え易くておまけにそれは開始す fact4: 「黒し」物はある fact5: なにかはじゃこ御飯だ fact6: 「この増額分は開始すらないしそれは推し量れない」ということは誤りだ fact7: 仮にとある物が黒しししかもじゃこ御飯だとしたらその二人以上は冷え易い fact8: 仮にあの公衆回線が開始すらないとすれば黒しかまたはそれはじゃこ御飯であるかもしくは両方ともだ fact9: 何かは黒ししそれにじゃこ御飯だ fact10: もし仮に何かは黒しないならば「開始すらない一方で冷え易い」ということは誤りである fact11: この増額分はじゃこ御飯でないが徒然吾妻詞だ fact12: 「この増額分は開始すらないしそれは推し量れるということはない」ということは誤りならばあの二人以上は開始すらない fact13: もしも「何かはじゃこ御飯であるかそれは介するかもしくはどちらもだ」ということは嘘であるならそれは黒しない fact14: あの公衆回線は冷え易くない ; $hypothesis$ = その二人以上は開始すということはない一方でそれは冷え易い ; $proof$ = 
fact9 & fact7 -> int1: その二人以上は冷え易い; fact12 & fact6 -> int2: その二人以上は開始すということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「この増額分は開始すがしかしそれは推し量れるということはない」ということは誤りである
事実2: もしもこの増額分は開始すなら「その二人以上は開始すらない」ということは確かだ
事実3: とあるものは冷え易くておまけにそれは開始す
事実4: 「黒し」物はある
事実5: なにかはじゃこ御飯だ
事実6: 「この増額分は開始すらないしそれは推し量れない」ということは誤りだ
事実7: 仮にとある物が黒しししかもじゃこ御飯だとしたらその二人以上は冷え易い
事実8: 仮にあの公衆回線が開始すらないとすれば黒しかまたはそれはじゃこ御飯であるかもしくは両方ともだ
事実9: 何かは黒ししそれにじゃこ御飯だ
事実10: もし仮に何かは黒しないならば「開始すらない一方で冷え易い」ということは誤りである
事実11: この増額分はじゃこ御飯でないが徒然吾妻詞だ
事実12: 「この増額分は開始すらないしそれは推し量れるということはない」ということは誤りならばあの二人以上は開始すらない
事実13: もしも「何かはじゃこ御飯であるかそれは介するかもしくはどちらもだ」ということは嘘であるならそれは黒しない
事実14: あの公衆回線は冷え易くない

仮説: その二人以上は開始すということはない一方でそれは冷え易い
1. 事実9と事実7から、推論1: "その二人以上は冷え易い"が導かれる
2. 事実12と事実6から、推論2: "その二人以上は開始すということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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