もしも「この相互接続は不衛生だ」ということは本当であるとするとこの高機能化は野太い
fact1: 「「野太い」ということは真実な」ものはある fact2: もしも野太くない物は不衛生ならば「制御出来る」ということは事実である fact3: もし「この相互接続は不衛生だ」ということは成り立つとすると制御出来るということはない fact4: 仮にこの高機能化が制御出来るとすればあの相互接続は野太い fact5: もしも「制御出来ない」物があればこの高機能化は野太い fact6: この相互接続は野太いなら「この高機能化は不衛生である」ということは正しい
void -> assump1: 以下のように仮定する。この相互接続は不衛生だ; fact3 & assump1 -> int1: この相互接続は制御出来ない; int1 -> int2: なんらかの物は制御出来ない; int2 & fact5 -> int3: この高機能化は野太い; [assump1] & int3 -> hypothesis;
「あの一斉指導中心は制御出来る」ということは正しい
fact7 -> int4: あの一斉指導中心が野太くないけど不衛生だとすれば「制御出来る」ということは間違いでない;
$facts$ = fact1: 「「野太い」ということは真実な」ものはある fact2: もしも野太くない物は不衛生ならば「制御出来る」ということは事実である fact3: もし「この相互接続は不衛生だ」ということは成り立つとすると制御出来るということはない fact4: 仮にこの高機能化が制御出来るとすればあの相互接続は野太い fact5: もしも「制御出来ない」物があればこの高機能化は野太い fact6: この相互接続は野太いなら「この高機能化は不衛生である」ということは正しい ; $hypothesis$ = もしも「この相互接続は不衛生だ」ということは本当であるとするとこの高機能化は野太い ; $proof$ = 
void -> assump1: 以下のように仮定する。この相互接続は不衛生だ; fact3 & assump1 -> int1: この相互接続は制御出来ない; int1 -> int2: なんらかの物は制御出来ない; int2 & fact5 -> int3: この高機能化は野太い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「「野太い」ということは真実な」ものはある
事実2: もしも野太くない物は不衛生ならば「制御出来る」ということは事実である
事実3: もし「この相互接続は不衛生だ」ということは成り立つとすると制御出来るということはない
事実4: 仮にこの高機能化が制御出来るとすればあの相互接続は野太い
事実5: もしも「制御出来ない」物があればこの高機能化は野太い
事実6: この相互接続は野太いなら「この高機能化は不衛生である」ということは正しい

仮説: もしも「この相互接続は不衛生だ」ということは本当であるとするとこの高機能化は野太い
1. 仮定1: 以下のように仮定する。この相互接続は不衛生だ
2. 事実3と仮定1から、推論1: "この相互接続は制御出来ない"が導かれる
3. 推論1から、推論2: "なんらかの物は制御出来ない"が導かれる
4. 推論2と事実5から、推論3: "この高機能化は野太い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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