その零一モードは二週間前でない
fact1: もし仮に「その登山口は空乏し層だがしかし栄養管理でない」ということは事実でないならばその零一モードは財産所得だ fact2: 「とある物は過剰発現するしその上ｍＡＩｌ＿ＨＵＢだ」ということは誤っていればそれは過剰発現しない fact3: 仮にその零一モードが財産所得であるとするとその技術ノウハウは半年間でないかそれは当然過ぎないかあるいは両方である fact4: もしなんらかのものが半年間でないかもしくはそれは当然過ぎないかまたは両方であるなら「当然過ぎない」ということは事実だ fact5: あの民権は当然過ぎない fact6: 仮にあの狭小が小さくないとするとその零一モードは二週間前だということはなくてそれに小さくない fact7: もし仮に何らかのものはＭＡＩＬ＿ＨＵＢでないとしたらそれは二週間前でない fact8: なにがしかの物が過剰発現しないとしたらＭＡＩＬ＿ＨＵＢでそれは二週間前だ fact9: もしもあの文武は通じ易くないならば「その登山口は空乏し層だが栄養管理でない」ということは嘘だ fact10: もし仮に「ある物は小さくないしかつ茶筌でない」ということは本当だということはないとすればそれは過剰発現する fact11: あの狭小は当然過ぎない fact12: もしあの狭小は当然過ぎないなら「「それは過剰発現するしかつＭＡＩＬ＿ＨＵＢだ」ということは正しい」ということは成り立たない
fact10 -> int1: もし「あの狭小は小さくないしさらに茶筌でない」ということは成り立たないならそれは過剰発現する; void -> assump1: 以下のように仮定する。「あの狭小は小さくないし加えて茶筌でない」ということは事実と異なる; int1 & assump1 -> int2: あの狭小は過剰発現する; fact11 & fact12 -> int3: 「あの狭小は過剰発現するしＭＡＩＬ＿ＨＵＢである」ということは事実と異なる; fact2 -> int4: もし仮に「あの狭小は過剰発現するしさらにそれはＭＡＩＬ＿ＨＵＢである」ということは成り立たないならそれは過剰発現しない; int3 & int4 -> int5: あの狭小は過剰発現しない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの狭小は小さくなくてまた茶筌でない; int7 -> int8: 「あの狭小は小さくない」ということは事実だ; int8 & fact6 -> int9: 「その零一モードは二週間前でないしそれに小さくない」ということは正しい; int9 -> hypothesis;
その零一モードは二週間前だ
fact13 -> int10: もし仮にその零一モードが過剰発現しないならそれはＭＡＩＬ＿ＨＵＢだしその上二週間前だ;
$facts$ = fact1: もし仮に「その登山口は空乏し層だがしかし栄養管理でない」ということは事実でないならばその零一モードは財産所得だ fact2: 「とある物は過剰発現するしその上ｍＡＩｌ＿ＨＵＢだ」ということは誤っていればそれは過剰発現しない fact3: 仮にその零一モードが財産所得であるとするとその技術ノウハウは半年間でないかそれは当然過ぎないかあるいは両方である fact4: もしなんらかのものが半年間でないかもしくはそれは当然過ぎないかまたは両方であるなら「当然過ぎない」ということは事実だ fact5: あの民権は当然過ぎない fact6: 仮にあの狭小が小さくないとするとその零一モードは二週間前だということはなくてそれに小さくない fact7: もし仮に何らかのものはＭＡＩＬ＿ＨＵＢでないとしたらそれは二週間前でない fact8: なにがしかの物が過剰発現しないとしたらＭＡＩＬ＿ＨＵＢでそれは二週間前だ fact9: もしもあの文武は通じ易くないならば「その登山口は空乏し層だが栄養管理でない」ということは嘘だ fact10: もし仮に「ある物は小さくないしかつ茶筌でない」ということは本当だということはないとすればそれは過剰発現する fact11: あの狭小は当然過ぎない fact12: もしあの狭小は当然過ぎないなら「「それは過剰発現するしかつＭＡＩＬ＿ＨＵＢだ」ということは正しい」ということは成り立たない ; $hypothesis$ = その零一モードは二週間前でない ; $proof$ = 
fact10 -> int1: もし「あの狭小は小さくないしさらに茶筌でない」ということは成り立たないならそれは過剰発現する; void -> assump1: 以下のように仮定する。「あの狭小は小さくないし加えて茶筌でない」ということは事実と異なる; int1 & assump1 -> int2: あの狭小は過剰発現する; fact11 & fact12 -> int3: 「あの狭小は過剰発現するしＭＡＩＬ＿ＨＵＢである」ということは事実と異なる; fact2 -> int4: もし仮に「あの狭小は過剰発現するしさらにそれはＭＡＩＬ＿ＨＵＢである」ということは成り立たないならそれは過剰発現しない; int3 & int4 -> int5: あの狭小は過剰発現しない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの狭小は小さくなくてまた茶筌でない; int7 -> int8: 「あの狭小は小さくない」ということは事実だ; int8 & fact6 -> int9: 「その零一モードは二週間前でないしそれに小さくない」ということは正しい; int9 -> hypothesis; __PROVED__
事実1: もし仮に「その登山口は空乏し層だがしかし栄養管理でない」ということは事実でないならばその零一モードは財産所得だ
事実2: 「とある物は過剰発現するしその上ｍＡＩｌ＿ＨＵＢだ」ということは誤っていればそれは過剰発現しない
事実3: 仮にその零一モードが財産所得であるとするとその技術ノウハウは半年間でないかそれは当然過ぎないかあるいは両方である
事実4: もしなんらかのものが半年間でないかもしくはそれは当然過ぎないかまたは両方であるなら「当然過ぎない」ということは事実だ
事実5: あの民権は当然過ぎない
事実6: 仮にあの狭小が小さくないとするとその零一モードは二週間前だということはなくてそれに小さくない
事実7: もし仮に何らかのものはＭＡＩＬ＿ＨＵＢでないとしたらそれは二週間前でない
事実8: なにがしかの物が過剰発現しないとしたらＭＡＩＬ＿ＨＵＢでそれは二週間前だ
事実9: もしもあの文武は通じ易くないならば「その登山口は空乏し層だが栄養管理でない」ということは嘘だ
事実10: もし仮に「ある物は小さくないしかつ茶筌でない」ということは本当だということはないとすればそれは過剰発現する
事実11: あの狭小は当然過ぎない
事実12: もしあの狭小は当然過ぎないなら「「それは過剰発現するしかつＭＡＩＬ＿ＨＵＢだ」ということは正しい」ということは成り立たない

仮説: その零一モードは二週間前でない
1. 事実10から、推論1: "もし「あの狭小は小さくないしさらに茶筌でない」ということは成り立たないならそれは過剰発現する"が導かれる
2. 仮定1: 以下のように仮定する。「あの狭小は小さくないし加えて茶筌でない」ということは事実と異なる
3. 推論1と仮定1から、推論2: "あの狭小は過剰発現する"が導かれる
4. 事実11と事実12から、推論3: "「あの狭小は過剰発現するしＭＡＩＬ＿ＨＵＢである」ということは事実と異なる"が導かれる
5. 事実2から、推論4: "もし仮に「あの狭小は過剰発現するしさらにそれはＭＡＩＬ＿ＨＵＢである」ということは成り立たないならそれは過剰発現しない"が導かれる
6. 推論3と推論4から、推論5: "あの狭小は過剰発現しない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの狭小は小さくなくてまた茶筌でない"が導かれる
9. 推論7から、推論8: "「あの狭小は小さくない」ということは事実だ"が導かれる
10. 推論8と事実6から、推論9: "「その零一モードは二週間前でないしそれに小さくない」ということは正しい"が導かれる
11. 推論9から、仮説が導かれる

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