「もしハイエンド向けだし利用し辛いならば着目出来るということはない」物はある
fact1: 「ハイエンド向けだしさらに利用し辛いとすると着目出来る」物はある fact2: もし仮にあのベクトル方式がハイエンド向けであるならばこの前任校長はハイエンド向けだ fact3: もしもあのベクトル方式が利用し辛いかもしくはそれはばたつくかまたは両方ならば着目出来ない
void -> assump1: 以下のように仮定する。あのベクトル方式はハイエンド向けだしさらに利用し辛い; assump1 -> int1: あのベクトル方式は利用し辛い; int1 -> int2: あのベクトル方式は利用し辛いかあるいはばたつく; int2 & fact3 -> int3: あのベクトル方式は着目出来ない; [assump1] & int3 -> int4: もし仮にあのベクトル方式はハイエンド向けで利用し辛いならば着目出来ない; int4 -> hypothesis;
「この前任校長はハイエンド向けである」ということは誤りでない
$facts$ = fact1: 「ハイエンド向けだしさらに利用し辛いとすると着目出来る」物はある fact2: もし仮にあのベクトル方式がハイエンド向けであるならばこの前任校長はハイエンド向けだ fact3: もしもあのベクトル方式が利用し辛いかもしくはそれはばたつくかまたは両方ならば着目出来ない ; $hypothesis$ = 「もしハイエンド向けだし利用し辛いならば着目出来るということはない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あのベクトル方式はハイエンド向けだしさらに利用し辛い; assump1 -> int1: あのベクトル方式は利用し辛い; int1 -> int2: あのベクトル方式は利用し辛いかあるいはばたつく; int2 & fact3 -> int3: あのベクトル方式は着目出来ない; [assump1] & int3 -> int4: もし仮にあのベクトル方式はハイエンド向けで利用し辛いならば着目出来ない; int4 -> hypothesis; __PROVED__
事実1: 「ハイエンド向けだしさらに利用し辛いとすると着目出来る」物はある
事実2: もし仮にあのベクトル方式がハイエンド向けであるならばこの前任校長はハイエンド向けだ
事実3: もしもあのベクトル方式が利用し辛いかもしくはそれはばたつくかまたは両方ならば着目出来ない

仮説: 「もしハイエンド向けだし利用し辛いならば着目出来るということはない」物はある
1. 仮定1: 以下のように仮定する。あのベクトル方式はハイエンド向けだしさらに利用し辛い
2. 仮定1から、推論1: "あのベクトル方式は利用し辛い"が導かれる
3. 推論1から、推論2: "あのベクトル方式は利用し辛いかあるいはばたつく"が導かれる
4. 推論2と事実3から、推論3: "あのベクトル方式は着目出来ない"が導かれる
5. [仮定1]と推論3から、推論4: "もし仮にあのベクトル方式はハイエンド向けで利用し辛いならば着目出来ない"が導かれる
6. 推論4から、仮説が導かれる

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