「この労働過程は百人隊長だということはないかあるいはそれは陰干ししない」ということは偽だ
fact1: この大犬座は陰干しする fact2: もし仮にこの大犬座がやんごとなくないとすればあの防空演習はやんごとない fact3: あの判断ミスは洗い清めないなら「この大犬座はヘパリン加生理食塩水だし小姓組番だ」ということは誤りである fact4: この労働過程は安堵出来る fact5: 仮に「百人隊長でない」物があるならその大量輸入は陰干しする fact6: 仮にあの判断ミスは洗い清めるということはないとすれば「この大犬座はヘパリン加生理食塩水であるということはないかまたはそれは洗い清めないかあるいはどちらもだ」ということは事実でない fact7: もしもなんらかの物が発給するとするとやんごとない fact8: 「言行一致だということはない」物はある fact9: 仮にこの防空演習は百人隊長でないならば「この労働過程は発給しないかあるいはそれは百人隊長でないかあるいは両方ともだ」ということは間違っている fact10: 仮に「「この大犬座は陰干しするしそれはヘパリン加生理食塩水である」ということは成り立つということはない」ということは真実だとしたらこの労働過程は発給しない fact11: この大犬座は百人隊長である fact12: もし「この大犬座はヘパリン加生理食塩水であるしまたそれは小姓組番だ」ということは事実と異なればその大量輸入は陰干ししない fact13: この防空演習は鬼王であるかあるいはそれは美しかまたはどちらもである fact14: もしその大量輸入が当該割賦購入斡旋であるということはないならばあの防空演習は当該割賦購入斡旋だ fact15: 「あるものは言行一致でない」ということは正しいとするとこの防空演習は当該割賦購入斡旋で発給する fact16: 「この防空演習は洗い清めないかまたは当該割賦購入斡旋でないかどちらもだ」ということは成り立たない fact17: もし仮にその大量輸入は陰干ししないなら「この労働過程は百人隊長でないか陰干ししないかあるいはどちらもである」ということは成り立たない fact18: もしもこの防空演習がやんごとないかもしくはそれが御休み為さるかあるいはどちらもであるならあの判断ミスは洗い清めない
fact8 & fact15 -> int1: この防空演習は当該割賦購入斡旋だし更に発給する; int1 -> int2: この防空演習は発給する; fact7 -> int3: もしもこの防空演習が発給するならそれはやんごとない; int2 & int3 -> int4: この防空演習はやんごとない; int4 -> int5: この防空演習はやんごとないかもしくは御休み為さるかもしくはどちらもだ; int5 & fact18 -> int6: あの判断ミスは洗い清めない; int6 & fact3 -> int7: 「この大犬座はヘパリン加生理食塩水だしその上小姓組番である」ということは誤っている; int7 & fact12 -> int8: その大量輸入は陰干ししない; int8 & fact17 -> hypothesis;
$facts$ = fact1: この大犬座は陰干しする fact2: もし仮にこの大犬座がやんごとなくないとすればあの防空演習はやんごとない fact3: あの判断ミスは洗い清めないなら「この大犬座はヘパリン加生理食塩水だし小姓組番だ」ということは誤りである fact4: この労働過程は安堵出来る fact5: 仮に「百人隊長でない」物があるならその大量輸入は陰干しする fact6: 仮にあの判断ミスは洗い清めるということはないとすれば「この大犬座はヘパリン加生理食塩水であるということはないかまたはそれは洗い清めないかあるいはどちらもだ」ということは事実でない fact7: もしもなんらかの物が発給するとするとやんごとない fact8: 「言行一致だということはない」物はある fact9: 仮にこの防空演習は百人隊長でないならば「この労働過程は発給しないかあるいはそれは百人隊長でないかあるいは両方ともだ」ということは間違っている fact10: 仮に「「この大犬座は陰干しするしそれはヘパリン加生理食塩水である」ということは成り立つということはない」ということは真実だとしたらこの労働過程は発給しない fact11: この大犬座は百人隊長である fact12: もし「この大犬座はヘパリン加生理食塩水であるしまたそれは小姓組番だ」ということは事実と異なればその大量輸入は陰干ししない fact13: この防空演習は鬼王であるかあるいはそれは美しかまたはどちらもである fact14: もしその大量輸入が当該割賦購入斡旋であるということはないならばあの防空演習は当該割賦購入斡旋だ fact15: 「あるものは言行一致でない」ということは正しいとするとこの防空演習は当該割賦購入斡旋で発給する fact16: 「この防空演習は洗い清めないかまたは当該割賦購入斡旋でないかどちらもだ」ということは成り立たない fact17: もし仮にその大量輸入は陰干ししないなら「この労働過程は百人隊長でないか陰干ししないかあるいはどちらもである」ということは成り立たない fact18: もしもこの防空演習がやんごとないかもしくはそれが御休み為さるかあるいはどちらもであるならあの判断ミスは洗い清めない ; $hypothesis$ = 「この労働過程は百人隊長だということはないかあるいはそれは陰干ししない」ということは偽だ ; $proof$ = 
fact8 & fact15 -> int1: この防空演習は当該割賦購入斡旋だし更に発給する; int1 -> int2: この防空演習は発給する; fact7 -> int3: もしもこの防空演習が発給するならそれはやんごとない; int2 & int3 -> int4: この防空演習はやんごとない; int4 -> int5: この防空演習はやんごとないかもしくは御休み為さるかもしくはどちらもだ; int5 & fact18 -> int6: あの判断ミスは洗い清めない; int6 & fact3 -> int7: 「この大犬座はヘパリン加生理食塩水だしその上小姓組番である」ということは誤っている; int7 & fact12 -> int8: その大量輸入は陰干ししない; int8 & fact17 -> hypothesis; __PROVED__
事実1: この大犬座は陰干しする
事実2: もし仮にこの大犬座がやんごとなくないとすればあの防空演習はやんごとない
事実3: あの判断ミスは洗い清めないなら「この大犬座はヘパリン加生理食塩水だし小姓組番だ」ということは誤りである
事実4: この労働過程は安堵出来る
事実5: 仮に「百人隊長でない」物があるならその大量輸入は陰干しする
事実6: 仮にあの判断ミスは洗い清めるということはないとすれば「この大犬座はヘパリン加生理食塩水であるということはないかまたはそれは洗い清めないかあるいはどちらもだ」ということは事実でない
事実7: もしもなんらかの物が発給するとするとやんごとない
事実8: 「言行一致だということはない」物はある
事実9: 仮にこの防空演習は百人隊長でないならば「この労働過程は発給しないかあるいはそれは百人隊長でないかあるいは両方ともだ」ということは間違っている
事実10: 仮に「「この大犬座は陰干しするしそれはヘパリン加生理食塩水である」ということは成り立つということはない」ということは真実だとしたらこの労働過程は発給しない
事実11: この大犬座は百人隊長である
事実12: もし「この大犬座はヘパリン加生理食塩水であるしまたそれは小姓組番だ」ということは事実と異なればその大量輸入は陰干ししない
事実13: この防空演習は鬼王であるかあるいはそれは美しかまたはどちらもである
事実14: もしその大量輸入が当該割賦購入斡旋であるということはないならばあの防空演習は当該割賦購入斡旋だ
事実15: 「あるものは言行一致でない」ということは正しいとするとこの防空演習は当該割賦購入斡旋で発給する
事実16: 「この防空演習は洗い清めないかまたは当該割賦購入斡旋でないかどちらもだ」ということは成り立たない
事実17: もし仮にその大量輸入は陰干ししないなら「この労働過程は百人隊長でないか陰干ししないかあるいはどちらもである」ということは成り立たない
事実18: もしもこの防空演習がやんごとないかもしくはそれが御休み為さるかあるいはどちらもであるならあの判断ミスは洗い清めない

仮説: 「この労働過程は百人隊長だということはないかあるいはそれは陰干ししない」ということは偽だ
1. 事実8と事実15から、推論1: "この防空演習は当該割賦購入斡旋だし更に発給する"が導かれる
2. 推論1から、推論2: "この防空演習は発給する"が導かれる
3. 事実7から、推論3: "もしもこの防空演習が発給するならそれはやんごとない"が導かれる
4. 推論2と推論3から、推論4: "この防空演習はやんごとない"が導かれる
5. 推論4から、推論5: "この防空演習はやんごとないかもしくは御休み為さるかもしくはどちらもだ"が導かれる
6. 推論5と事実18から、推論6: "あの判断ミスは洗い清めない"が導かれる
7. 推論6と事実3から、推論7: "「この大犬座はヘパリン加生理食塩水だしその上小姓組番である」ということは誤っている"が導かれる
8. 推論7と事実12から、推論8: "その大量輸入は陰干ししない"が導かれる
9. 推論8と事実17から、仮説が導かれる

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