その釈放は報告致さない
fact1: なにがしかのものが平安宮であるかもしくは道沿いだとしたらそれは経世済民であるということはない fact2: もし仮にあの明細テーブルが報告致すということはないとするとちっちゃくない fact3: もし仮にとあるものはＬＥＴでないならば「伝え易くてそれは一夫多妻である」ということは誤っている fact4: もし「あの明細テーブルは集中し始めないけれどちっちゃい」ということは成り立つということはないならばあの番頭は雇い入れない fact5: もし仮に何らかの物は集中し始めないとすれば「「それは進み出るし雇い入れる」ということは真実である」ということは嘘だ fact6: 「あの明細テーブルは集中し始めるということはないがしかしそれはちっちゃい」ということは間違っている fact7: 「その在村地主は集中し始めない」ということは偽であるということはない fact8: あの千余里は芝草でない fact9: その釈放は四角いかもしくは阿呆らしい fact10: 「その番頭は雇い入れない」ということは成り立てばその釈放は芝草だ fact11: その番頭は進み出る fact12: 「あの明細テーブルは雇い入れない」ということは真実だ fact13: とある物は納得し易くないなら「「それが進み出るしその上それは知り合いらしい」ということは成り立つ」ということは事実と異なる fact14: 「あの明細テーブルが雇い入れるしその上集中し始める」ということは成り立つということはない fact15: 「「あの明細テーブルは雇い入れるしそれは繁殖牝馬だ」ということは成り立つということはないならあの明細テーブルは味気無くない」ということは事実だ fact16: 「なんらかのものは芝草であるかもしくは軽々しいかまたは両方ともである」ということは事実と異ならないならそれは納得し易くない fact17: もしも「あの明細テーブルは報告致すということはないがしかし納得し易い」ということは偽だとすればその釈放は集中し始めない fact18: なにかは雇い入れるかあるいはそれは集中し始めるとしたら「それは報告致さない」ということは成り立つ fact19: 「その釈放は納得し易くない一方でちっちゃい」ということは誤っている fact20: もし仮にその釈放が納得し易いかもしくはちっちゃいなら軽々しかない fact21: 知り合いらしいものは集中し始めない fact22: もしなにかは軽々しいかもしくはそれは報告致すかあるいは両方ならばそれは雇い入れない fact23: もしも「なにかは進み出るし知り合いらしい」ということは成り立たないとすれば「報告致さない」ということは成り立つ fact24: なんらかのものは進み出ないなら「それは芝草であるしさらにちっちゃい」ということは成り立たない
fact4 & fact6 -> int1: その番頭は雇い入れない; int1 & fact10 -> int2: その釈放は芝草である; int2 -> int3: その釈放は芝草であるかまたは軽々しいかまたは両方ともである; fact16 -> int4: もし仮にその釈放が芝草であるかあるいは軽々しいかまたは両方であるとするとそれは納得し易くない; int3 & int4 -> int5: その釈放は納得し易くない; fact13 -> int6: その釈放は納得し易いということはないとすれば「それは進み出るしおまけに知り合いらしい」ということは事実と異なる; int5 & int6 -> int7: 「その釈放は進み出るし知り合いらしい」ということは誤りだ; fact23 -> int8: もしも「「その釈放は進み出るし知り合いらしい」ということは成り立つ」ということは偽ならば報告致さない; int7 & int8 -> hypothesis;
$facts$ = fact1: なにがしかのものが平安宮であるかもしくは道沿いだとしたらそれは経世済民であるということはない fact2: もし仮にあの明細テーブルが報告致すということはないとするとちっちゃくない fact3: もし仮にとあるものはＬＥＴでないならば「伝え易くてそれは一夫多妻である」ということは誤っている fact4: もし「あの明細テーブルは集中し始めないけれどちっちゃい」ということは成り立つということはないならばあの番頭は雇い入れない fact5: もし仮に何らかの物は集中し始めないとすれば「「それは進み出るし雇い入れる」ということは真実である」ということは嘘だ fact6: 「あの明細テーブルは集中し始めるということはないがしかしそれはちっちゃい」ということは間違っている fact7: 「その在村地主は集中し始めない」ということは偽であるということはない fact8: あの千余里は芝草でない fact9: その釈放は四角いかもしくは阿呆らしい fact10: 「その番頭は雇い入れない」ということは成り立てばその釈放は芝草だ fact11: その番頭は進み出る fact12: 「あの明細テーブルは雇い入れない」ということは真実だ fact13: とある物は納得し易くないなら「「それが進み出るしその上それは知り合いらしい」ということは成り立つ」ということは事実と異なる fact14: 「あの明細テーブルが雇い入れるしその上集中し始める」ということは成り立つということはない fact15: 「「あの明細テーブルは雇い入れるしそれは繁殖牝馬だ」ということは成り立つということはないならあの明細テーブルは味気無くない」ということは事実だ fact16: 「なんらかのものは芝草であるかもしくは軽々しいかまたは両方ともである」ということは事実と異ならないならそれは納得し易くない fact17: もしも「あの明細テーブルは報告致すということはないがしかし納得し易い」ということは偽だとすればその釈放は集中し始めない fact18: なにかは雇い入れるかあるいはそれは集中し始めるとしたら「それは報告致さない」ということは成り立つ fact19: 「その釈放は納得し易くない一方でちっちゃい」ということは誤っている fact20: もし仮にその釈放が納得し易いかもしくはちっちゃいなら軽々しかない fact21: 知り合いらしいものは集中し始めない fact22: もしなにかは軽々しいかもしくはそれは報告致すかあるいは両方ならばそれは雇い入れない fact23: もしも「なにかは進み出るし知り合いらしい」ということは成り立たないとすれば「報告致さない」ということは成り立つ fact24: なんらかのものは進み出ないなら「それは芝草であるしさらにちっちゃい」ということは成り立たない ; $hypothesis$ = その釈放は報告致さない ; $proof$ = 
fact4 & fact6 -> int1: その番頭は雇い入れない; int1 & fact10 -> int2: その釈放は芝草である; int2 -> int3: その釈放は芝草であるかまたは軽々しいかまたは両方ともである; fact16 -> int4: もし仮にその釈放が芝草であるかあるいは軽々しいかまたは両方であるとするとそれは納得し易くない; int3 & int4 -> int5: その釈放は納得し易くない; fact13 -> int6: その釈放は納得し易いということはないとすれば「それは進み出るしおまけに知り合いらしい」ということは事実と異なる; int5 & int6 -> int7: 「その釈放は進み出るし知り合いらしい」ということは誤りだ; fact23 -> int8: もしも「「その釈放は進み出るし知り合いらしい」ということは成り立つ」ということは偽ならば報告致さない; int7 & int8 -> hypothesis; __PROVED__
事実1: なにがしかのものが平安宮であるかもしくは道沿いだとしたらそれは経世済民であるということはない
事実2: もし仮にあの明細テーブルが報告致すということはないとするとちっちゃくない
事実3: もし仮にとあるものはＬＥＴでないならば「伝え易くてそれは一夫多妻である」ということは誤っている
事実4: もし「あの明細テーブルは集中し始めないけれどちっちゃい」ということは成り立つということはないならばあの番頭は雇い入れない
事実5: もし仮に何らかの物は集中し始めないとすれば「「それは進み出るし雇い入れる」ということは真実である」ということは嘘だ
事実6: 「あの明細テーブルは集中し始めるということはないがしかしそれはちっちゃい」ということは間違っている
事実7: 「その在村地主は集中し始めない」ということは偽であるということはない
事実8: あの千余里は芝草でない
事実9: その釈放は四角いかもしくは阿呆らしい
事実10: 「その番頭は雇い入れない」ということは成り立てばその釈放は芝草だ
事実11: その番頭は進み出る
事実12: 「あの明細テーブルは雇い入れない」ということは真実だ
事実13: とある物は納得し易くないなら「「それが進み出るしその上それは知り合いらしい」ということは成り立つ」ということは事実と異なる
事実14: 「あの明細テーブルが雇い入れるしその上集中し始める」ということは成り立つということはない
事実15: 「「あの明細テーブルは雇い入れるしそれは繁殖牝馬だ」ということは成り立つということはないならあの明細テーブルは味気無くない」ということは事実だ
事実16: 「なんらかのものは芝草であるかもしくは軽々しいかまたは両方ともである」ということは事実と異ならないならそれは納得し易くない
事実17: もしも「あの明細テーブルは報告致すということはないがしかし納得し易い」ということは偽だとすればその釈放は集中し始めない
事実18: なにかは雇い入れるかあるいはそれは集中し始めるとしたら「それは報告致さない」ということは成り立つ
事実19: 「その釈放は納得し易くない一方でちっちゃい」ということは誤っている
事実20: もし仮にその釈放が納得し易いかもしくはちっちゃいなら軽々しかない
事実21: 知り合いらしいものは集中し始めない
事実22: もしなにかは軽々しいかもしくはそれは報告致すかあるいは両方ならばそれは雇い入れない
事実23: もしも「なにかは進み出るし知り合いらしい」ということは成り立たないとすれば「報告致さない」ということは成り立つ
事実24: なんらかのものは進み出ないなら「それは芝草であるしさらにちっちゃい」ということは成り立たない

仮説: その釈放は報告致さない
1. 事実4と事実6から、推論1: "その番頭は雇い入れない"が導かれる
2. 推論1と事実10から、推論2: "その釈放は芝草である"が導かれる
3. 推論2から、推論3: "その釈放は芝草であるかまたは軽々しいかまたは両方ともである"が導かれる
4. 事実16から、推論4: "もし仮にその釈放が芝草であるかあるいは軽々しいかまたは両方であるとするとそれは納得し易くない"が導かれる
5. 推論3と推論4から、推論5: "その釈放は納得し易くない"が導かれる
6. 事実13から、推論6: "その釈放は納得し易いということはないとすれば「それは進み出るしおまけに知り合いらしい」ということは事実と異なる"が導かれる
7. 推論5と推論6から、推論7: "「その釈放は進み出るし知り合いらしい」ということは誤りだ"が導かれる
8. 事実23から、推論8: "もしも「「その釈放は進み出るし知り合いらしい」ということは成り立つ」ということは偽ならば報告致さない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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