「このグローバル社会は成し難いか用心深くない」ということは誤りである
fact1: とあるものは拭き取るとしたら「「それは情報・通信でないしその上それは感染兆候でない」ということは成り立つ」ということは誤りである fact2: その心置きは用心深い fact3: もし「出過ぎる」ものはあれば「そのＢ図は経営革新であるかまたは穀物自給率でない」ということは成り立たない fact4: もし「あの耕作層は情報・通信でないしおまけに感染兆候であるということはない」ということは間違いであるとしたらこの死計は用心深いということはない fact5: もし仮にそのＢ図が出過ぎるということはないとするとこのグローバル社会は成し難いかまたは用心深いということはない fact6: あの熱気は出過ぎる fact7: 「そのＢ図は経営革新であるかあるいは穀物自給率だということはない」ということは偽だとしたらその心置きは感染兆候だということはない fact8: もしこの死計は用心深くないとすれば「このグローバル社会は成し難いかまたはそれは用心深くないかあるいは両方ともである」ということは誤っている fact9: 仮にその心置きは感染兆候であるとしたら「そのＢ図は穀物自給率でなくて更に経営革新でない」ということは確かでない fact10: もし仮にその心置きは感染兆候でないとすると「「あの耕作層は情報・通信であるが感染兆候でない」ということは成り立つ」ということは成り立たない fact11: もし「「あからさま過ぎるし堕する」ということは誤りな」物があるならあの耕作層は免れ難い fact12: その心置きは感染兆候でないとすれば「あの耕作層は情報・通信でないしそれは感染兆候でない」ということは間違いである fact13: あの濡れは出過ぎる fact14: 仮にあの耕作層が免れ難いとすればその心置きは拭き取る fact15: 仮に「なにかは情報・通信でないし更に感染兆候でない」ということは本当でないならばそれは感染兆候だ fact16: もし何かはインスパイアしないとすると「それがあからさま過ぎるしその上それは堕する」ということは誤りだ
fact6 -> int1: あるものは出過ぎる; int1 & fact3 -> int2: 「そのＢ図は経営革新であるかそれは穀物自給率だということはない」ということは間違っている; int2 & fact7 -> int3: その心置きは感染兆候でない; int3 & fact12 -> int4: 「「あの耕作層は情報・通信でないし感染兆候でない」ということは間違っている」ということは正しい; int4 & fact4 -> int5: この死計は用心深くない; int5 & fact8 -> hypothesis;
このグローバル社会は成し難いか用心深くないかまたは両方だ
fact23 -> int6: 仮に「その心置きは情報・通信でないし加えて感染兆候だということはない」ということは偽ならば感染兆候である; fact17 -> int7: 「もしその心置きは拭き取るとすれば「その心置きは情報・通信でなくてそれに感染兆候でない」ということは事実でない」ということは確かである; fact22 -> int8: 仮にその法令違反等はインスパイアしないとすると「あからさま過ぎるしまた堕する」ということは偽だ;
$facts$ = fact1: とあるものは拭き取るとしたら「「それは情報・通信でないしその上それは感染兆候でない」ということは成り立つ」ということは誤りである fact2: その心置きは用心深い fact3: もし「出過ぎる」ものはあれば「そのＢ図は経営革新であるかまたは穀物自給率でない」ということは成り立たない fact4: もし「あの耕作層は情報・通信でないしおまけに感染兆候であるということはない」ということは間違いであるとしたらこの死計は用心深いということはない fact5: もし仮にそのＢ図が出過ぎるということはないとするとこのグローバル社会は成し難いかまたは用心深いということはない fact6: あの熱気は出過ぎる fact7: 「そのＢ図は経営革新であるかあるいは穀物自給率だということはない」ということは偽だとしたらその心置きは感染兆候だということはない fact8: もしこの死計は用心深くないとすれば「このグローバル社会は成し難いかまたはそれは用心深くないかあるいは両方ともである」ということは誤っている fact9: 仮にその心置きは感染兆候であるとしたら「そのＢ図は穀物自給率でなくて更に経営革新でない」ということは確かでない fact10: もし仮にその心置きは感染兆候でないとすると「「あの耕作層は情報・通信であるが感染兆候でない」ということは成り立つ」ということは成り立たない fact11: もし「「あからさま過ぎるし堕する」ということは誤りな」物があるならあの耕作層は免れ難い fact12: その心置きは感染兆候でないとすれば「あの耕作層は情報・通信でないしそれは感染兆候でない」ということは間違いである fact13: あの濡れは出過ぎる fact14: 仮にあの耕作層が免れ難いとすればその心置きは拭き取る fact15: 仮に「なにかは情報・通信でないし更に感染兆候でない」ということは本当でないならばそれは感染兆候だ fact16: もし何かはインスパイアしないとすると「それがあからさま過ぎるしその上それは堕する」ということは誤りだ ; $hypothesis$ = 「このグローバル社会は成し難いか用心深くない」ということは誤りである ; $proof$ = 
fact6 -> int1: あるものは出過ぎる; int1 & fact3 -> int2: 「そのＢ図は経営革新であるかそれは穀物自給率だということはない」ということは間違っている; int2 & fact7 -> int3: その心置きは感染兆候でない; int3 & fact12 -> int4: 「「あの耕作層は情報・通信でないし感染兆候でない」ということは間違っている」ということは正しい; int4 & fact4 -> int5: この死計は用心深くない; int5 & fact8 -> hypothesis; __PROVED__
事実1: とあるものは拭き取るとしたら「「それは情報・通信でないしその上それは感染兆候でない」ということは成り立つ」ということは誤りである
事実2: その心置きは用心深い
事実3: もし「出過ぎる」ものはあれば「そのＢ図は経営革新であるかまたは穀物自給率でない」ということは成り立たない
事実4: もし「あの耕作層は情報・通信でないしおまけに感染兆候であるということはない」ということは間違いであるとしたらこの死計は用心深いということはない
事実5: もし仮にそのＢ図が出過ぎるということはないとするとこのグローバル社会は成し難いかまたは用心深いということはない
事実6: あの熱気は出過ぎる
事実7: 「そのＢ図は経営革新であるかあるいは穀物自給率だということはない」ということは偽だとしたらその心置きは感染兆候だということはない
事実8: もしこの死計は用心深くないとすれば「このグローバル社会は成し難いかまたはそれは用心深くないかあるいは両方ともである」ということは誤っている
事実9: 仮にその心置きは感染兆候であるとしたら「そのＢ図は穀物自給率でなくて更に経営革新でない」ということは確かでない
事実10: もし仮にその心置きは感染兆候でないとすると「「あの耕作層は情報・通信であるが感染兆候でない」ということは成り立つ」ということは成り立たない
事実11: もし「「あからさま過ぎるし堕する」ということは誤りな」物があるならあの耕作層は免れ難い
事実12: その心置きは感染兆候でないとすれば「あの耕作層は情報・通信でないしそれは感染兆候でない」ということは間違いである
事実13: あの濡れは出過ぎる
事実14: 仮にあの耕作層が免れ難いとすればその心置きは拭き取る
事実15: 仮に「なにかは情報・通信でないし更に感染兆候でない」ということは本当でないならばそれは感染兆候だ
事実16: もし何かはインスパイアしないとすると「それがあからさま過ぎるしその上それは堕する」ということは誤りだ

仮説: 「このグローバル社会は成し難いか用心深くない」ということは誤りである
1. 事実6から、推論1: "あるものは出過ぎる"が導かれる
2. 推論1と事実3から、推論2: "「そのＢ図は経営革新であるかそれは穀物自給率だということはない」ということは間違っている"が導かれる
3. 推論2と事実7から、推論3: "その心置きは感染兆候でない"が導かれる
4. 推論3と事実12から、推論4: "「「あの耕作層は情報・通信でないし感染兆候でない」ということは間違っている」ということは正しい"が導かれる
5. 推論4と事実4から、推論5: "この死計は用心深くない"が導かれる
6. 推論5と事実8から、仮説が導かれる

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