「このＩＴ革命は重要ポストであるか練り歩くか両方だ」ということは偽である
fact1: 「引き取りだということはない」ものはあるとしたら「このＩＴ革命は重要ポストであるかまたは練り歩くか両方ともだ」ということは成り立つということはない fact2: 仮になんらかの物が引き取りでないとすればあのＩＴ革命は練り歩かない fact3: もし「その四十ＦＴコンテナは本能系であるししかも順応し易い」ということは誤りだとするとあの分割型分割は引き取りでない fact4: もしもなんらかのものは引き取りであるとしたら「それは重要ポストだ」ということは事実だ fact5: 「引き取りである」物はある fact6: もしもその四十ＦＴコンテナが本能系だということはないとするとあの分割型分割は引き取りでない fact7: 「その四十ＦＴコンテナは本能系だし順応し易い」ということは成り立たない fact8: 「練り歩く」ものはある fact9: このＩＴ革命は練り歩かない
fact3 & fact7 -> int1: あの分割型分割は引き取りでない; int1 -> int2: 「引き取りでない」ものはある; int2 & fact1 -> hypothesis;
このＩＴ革命は重要ポストであるかもしくは練り歩くかまたは両方ともだ
fact10 -> int3: もしこのＩＴ革命は引き取りであるとすれば重要ポストである;
$facts$ = fact1: 「引き取りだということはない」ものはあるとしたら「このＩＴ革命は重要ポストであるかまたは練り歩くか両方ともだ」ということは成り立つということはない fact2: 仮になんらかの物が引き取りでないとすればあのＩＴ革命は練り歩かない fact3: もし「その四十ＦＴコンテナは本能系であるししかも順応し易い」ということは誤りだとするとあの分割型分割は引き取りでない fact4: もしもなんらかのものは引き取りであるとしたら「それは重要ポストだ」ということは事実だ fact5: 「引き取りである」物はある fact6: もしもその四十ＦＴコンテナが本能系だということはないとするとあの分割型分割は引き取りでない fact7: 「その四十ＦＴコンテナは本能系だし順応し易い」ということは成り立たない fact8: 「練り歩く」ものはある fact9: このＩＴ革命は練り歩かない ; $hypothesis$ = 「このＩＴ革命は重要ポストであるか練り歩くか両方だ」ということは偽である ; $proof$ = 
fact3 & fact7 -> int1: あの分割型分割は引き取りでない; int1 -> int2: 「引き取りでない」ものはある; int2 & fact1 -> hypothesis; __PROVED__
事実1: 「引き取りだということはない」ものはあるとしたら「このＩＴ革命は重要ポストであるかまたは練り歩くか両方ともだ」ということは成り立つということはない
事実2: 仮になんらかの物が引き取りでないとすればあのＩＴ革命は練り歩かない
事実3: もし「その四十ＦＴコンテナは本能系であるししかも順応し易い」ということは誤りだとするとあの分割型分割は引き取りでない
事実4: もしもなんらかのものは引き取りであるとしたら「それは重要ポストだ」ということは事実だ
事実5: 「引き取りである」物はある
事実6: もしもその四十ＦＴコンテナが本能系だということはないとするとあの分割型分割は引き取りでない
事実7: 「その四十ＦＴコンテナは本能系だし順応し易い」ということは成り立たない
事実8: 「練り歩く」ものはある
事実9: このＩＴ革命は練り歩かない

仮説: 「このＩＴ革命は重要ポストであるか練り歩くか両方だ」ということは偽である
1. 事実3と事実7から、推論1: "あの分割型分割は引き取りでない"が導かれる
2. 推論1から、推論2: "「引き取りでない」ものはある"が導かれる
3. 推論2と事実1から、仮説が導かれる

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