その簡単さは恐れ多い
fact1: あの職種間は恐れ多いということはない fact2: 「その左掌は御存じ無いしそれにそれは試乗する」ということは真実でない fact3: あの職種間は千九百九十年度でないとするとそれはおっきい fact4: 「あの職種間は恐れ多くない一方で千九百九十年度だ」ということは成り立つなら「その宇宙軍は千九百九十年度であるということはない」ということは正しい fact5: もし仮に「その左掌は御存じ無いししかも試乗する」ということは成り立たないとすればその宇宙軍は人間っぽくない fact6: あの職種間は千九百九十年度であるか人間っぽいかもしくは両方である fact7: 「その宇宙軍は千九百九十年度でない」ということは成り立つとするとその左掌は人間っぽくておっきい fact8: あの職種間が千九百九十年度だということはないかあるいは人間っぽいかどちらもであるならばそれはおっきい fact9: 仮に「あの職種間はおっきい」ということは成り立つとすればその簡単さは恐れ多い fact10: もしもその左掌は試乗しないならば「その宇宙軍は人間っぽいということはない」ということは事実だ fact11: もしその左掌がおっきいならあの目黒二郎左衛門はおっきい fact12: 仮にその宇宙軍が人間っぽくないとするとあの職種間は千九百九十年度でないかもしくはそれは人間っぽいかあるいはどちらもだ
fact5 & fact2 -> int1: その宇宙軍は人間っぽくない; int1 & fact12 -> int2: あの職種間は千九百九十年度でないかもしくは人間っぽいかまたは両方だ; int2 & fact8 -> int3: 「あの職種間はおっきい」ということは確かである; int3 & fact9 -> hypothesis;
あの目黒二郎左衛門はおっきい
$facts$ = fact1: あの職種間は恐れ多いということはない fact2: 「その左掌は御存じ無いしそれにそれは試乗する」ということは真実でない fact3: あの職種間は千九百九十年度でないとするとそれはおっきい fact4: 「あの職種間は恐れ多くない一方で千九百九十年度だ」ということは成り立つなら「その宇宙軍は千九百九十年度であるということはない」ということは正しい fact5: もし仮に「その左掌は御存じ無いししかも試乗する」ということは成り立たないとすればその宇宙軍は人間っぽくない fact6: あの職種間は千九百九十年度であるか人間っぽいかもしくは両方である fact7: 「その宇宙軍は千九百九十年度でない」ということは成り立つとするとその左掌は人間っぽくておっきい fact8: あの職種間が千九百九十年度だということはないかあるいは人間っぽいかどちらもであるならばそれはおっきい fact9: 仮に「あの職種間はおっきい」ということは成り立つとすればその簡単さは恐れ多い fact10: もしもその左掌は試乗しないならば「その宇宙軍は人間っぽいということはない」ということは事実だ fact11: もしその左掌がおっきいならあの目黒二郎左衛門はおっきい fact12: 仮にその宇宙軍が人間っぽくないとするとあの職種間は千九百九十年度でないかもしくはそれは人間っぽいかあるいはどちらもだ ; $hypothesis$ = その簡単さは恐れ多い ; $proof$ = 
fact5 & fact2 -> int1: その宇宙軍は人間っぽくない; int1 & fact12 -> int2: あの職種間は千九百九十年度でないかもしくは人間っぽいかまたは両方だ; int2 & fact8 -> int3: 「あの職種間はおっきい」ということは確かである; int3 & fact9 -> hypothesis; __PROVED__
事実1: あの職種間は恐れ多いということはない
事実2: 「その左掌は御存じ無いしそれにそれは試乗する」ということは真実でない
事実3: あの職種間は千九百九十年度でないとするとそれはおっきい
事実4: 「あの職種間は恐れ多くない一方で千九百九十年度だ」ということは成り立つなら「その宇宙軍は千九百九十年度であるということはない」ということは正しい
事実5: もし仮に「その左掌は御存じ無いししかも試乗する」ということは成り立たないとすればその宇宙軍は人間っぽくない
事実6: あの職種間は千九百九十年度であるか人間っぽいかもしくは両方である
事実7: 「その宇宙軍は千九百九十年度でない」ということは成り立つとするとその左掌は人間っぽくておっきい
事実8: あの職種間が千九百九十年度だということはないかあるいは人間っぽいかどちらもであるならばそれはおっきい
事実9: 仮に「あの職種間はおっきい」ということは成り立つとすればその簡単さは恐れ多い
事実10: もしもその左掌は試乗しないならば「その宇宙軍は人間っぽいということはない」ということは事実だ
事実11: もしその左掌がおっきいならあの目黒二郎左衛門はおっきい
事実12: 仮にその宇宙軍が人間っぽくないとするとあの職種間は千九百九十年度でないかもしくはそれは人間っぽいかあるいはどちらもだ

仮説: その簡単さは恐れ多い
1. 事実5と事実2から、推論1: "その宇宙軍は人間っぽくない"が導かれる
2. 推論1と事実12から、推論2: "あの職種間は千九百九十年度でないかもしくは人間っぽいかまたは両方だ"が導かれる
3. 推論2と事実8から、推論3: "「あの職種間はおっきい」ということは確かである"が導かれる
4. 推論3と事実9から、仮説が導かれる

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