この民間部門は始業・終業でない
fact1: その場合は調査地点でない fact2: この民間部門は差し出がましかない fact3: 仮になにがしかのものが御安くないならば詰まり易い fact4: 差し出がましいものは始業・終業である fact5: 仮にこの前章が残額であるならばその埓は残額である fact6: この前章は接触事故である fact7: もしなにがしかの物は鼻粘膜でないしおまけに時価ベースでないならば「その埓は始業・終業だ」ということは正しい fact8: その埓は時価ベースでない fact9: 仮にこの前章が接触事故であるし更にそれが鼻粘膜であるとしたらその埓は調査地点でない fact10: もし仮に「その場合は調査地点でない」ということは本当ならば御安くないかもしくは差し出はましくらないかもしくはどちらもだ fact11: もし仮にその場合が差し出がましかないとすれば詰まり易い fact12: 「その埓は詰まり易いということはなくてまた差し出がましかない」ということは成り立たないとすればこの民間部門は差し出がましい fact13: 仮に「あの指定権利は鼻粘膜でないかそれは時価ベースであるかどちらもである」ということは誤りならばこの前章は御安くない fact14: もし仮にこの前章が力無いし接触事故であるならばこの民間部門は始業・終業だということはない fact15: もし仮にその場合が詰まり易いならばその埓は時価ベースでないし加えて鼻粘膜でない fact16: 仮に「時価ベースでなくてそれに鼻粘膜でない」ものがあるならばあの前章は力無い
fact3 -> int1: もし仮にその場合が御安くないとすればそれは詰まり易い; fact10 & fact1 -> int2: その場合が御安くないかもしくは差し出はましくらないか両方ともだ; int1 & int2 & fact11 -> int3: その場合は詰まり易い; int3 & fact15 -> int4: その埓は時価ベースでないししかもそれは鼻粘膜でない; int4 -> int5: とある物は時価ベースでないしかつ鼻粘膜でない; int5 & fact16 -> int6: この前章は力無い; int6 & fact6 -> int7: この前章は力無くてまた接触事故である; int7 & fact14 -> hypothesis;
この民間部門は始業・終業である
fact17 -> int8: もしこの民間部門が差し出がましいとするとそれは始業・終業である;
$facts$ = fact1: その場合は調査地点でない fact2: この民間部門は差し出がましかない fact3: 仮になにがしかのものが御安くないならば詰まり易い fact4: 差し出がましいものは始業・終業である fact5: 仮にこの前章が残額であるならばその埓は残額である fact6: この前章は接触事故である fact7: もしなにがしかの物は鼻粘膜でないしおまけに時価ベースでないならば「その埓は始業・終業だ」ということは正しい fact8: その埓は時価ベースでない fact9: 仮にこの前章が接触事故であるし更にそれが鼻粘膜であるとしたらその埓は調査地点でない fact10: もし仮に「その場合は調査地点でない」ということは本当ならば御安くないかもしくは差し出はましくらないかもしくはどちらもだ fact11: もし仮にその場合が差し出がましかないとすれば詰まり易い fact12: 「その埓は詰まり易いということはなくてまた差し出がましかない」ということは成り立たないとすればこの民間部門は差し出がましい fact13: 仮に「あの指定権利は鼻粘膜でないかそれは時価ベースであるかどちらもである」ということは誤りならばこの前章は御安くない fact14: もし仮にこの前章が力無いし接触事故であるならばこの民間部門は始業・終業だということはない fact15: もし仮にその場合が詰まり易いならばその埓は時価ベースでないし加えて鼻粘膜でない fact16: 仮に「時価ベースでなくてそれに鼻粘膜でない」ものがあるならばあの前章は力無い ; $hypothesis$ = この民間部門は始業・終業でない ; $proof$ = 
fact3 -> int1: もし仮にその場合が御安くないとすればそれは詰まり易い; fact10 & fact1 -> int2: その場合が御安くないかもしくは差し出はましくらないか両方ともだ; int1 & int2 & fact11 -> int3: その場合は詰まり易い; int3 & fact15 -> int4: その埓は時価ベースでないししかもそれは鼻粘膜でない; int4 -> int5: とある物は時価ベースでないしかつ鼻粘膜でない; int5 & fact16 -> int6: この前章は力無い; int6 & fact6 -> int7: この前章は力無くてまた接触事故である; int7 & fact14 -> hypothesis; __PROVED__
事実1: その場合は調査地点でない
事実2: この民間部門は差し出がましかない
事実3: 仮になにがしかのものが御安くないならば詰まり易い
事実4: 差し出がましいものは始業・終業である
事実5: 仮にこの前章が残額であるならばその埓は残額である
事実6: この前章は接触事故である
事実7: もしなにがしかの物は鼻粘膜でないしおまけに時価ベースでないならば「その埓は始業・終業だ」ということは正しい
事実8: その埓は時価ベースでない
事実9: 仮にこの前章が接触事故であるし更にそれが鼻粘膜であるとしたらその埓は調査地点でない
事実10: もし仮に「その場合は調査地点でない」ということは本当ならば御安くないかもしくは差し出はましくらないかもしくはどちらもだ
事実11: もし仮にその場合が差し出がましかないとすれば詰まり易い
事実12: 「その埓は詰まり易いということはなくてまた差し出がましかない」ということは成り立たないとすればこの民間部門は差し出がましい
事実13: 仮に「あの指定権利は鼻粘膜でないかそれは時価ベースであるかどちらもである」ということは誤りならばこの前章は御安くない
事実14: もし仮にこの前章が力無いし接触事故であるならばこの民間部門は始業・終業だということはない
事実15: もし仮にその場合が詰まり易いならばその埓は時価ベースでないし加えて鼻粘膜でない
事実16: 仮に「時価ベースでなくてそれに鼻粘膜でない」ものがあるならばあの前章は力無い

仮説: この民間部門は始業・終業でない
1. 事実3から、推論1: "もし仮にその場合が御安くないとすればそれは詰まり易い"が導かれる
2. 事実10と事実1から、推論2: "その場合が御安くないかもしくは差し出はましくらないか両方ともだ"が導かれる
3. 推論1と推論2と事実11から、推論3: "その場合は詰まり易い"が導かれる
4. 推論3と事実15から、推論4: "その埓は時価ベースでないししかもそれは鼻粘膜でない"が導かれる
5. 推論4から、推論5: "とある物は時価ベースでないしかつ鼻粘膜でない"が導かれる
6. 推論5と事実16から、推論6: "この前章は力無い"が導かれる
7. 推論6と事実6から、推論7: "この前章は力無くてまた接触事故である"が導かれる
8. 推論7と事実14から、仮説が導かれる

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