その知性は凭れ合うということはない
fact1: あの神経・筋系は持ち来たるしかつ在宅者だ fact2: その知性は等閑視しない fact3: もしも何らかの物は凭れ合わないとしたら「それは等閑視する」ということは事実である fact4: あの戦略目標は等閑視する
fact3 -> int1: もし仮に「その知性は凭れ合わない」ということは成り立つとすれば「等閑視する」ということは成り立つ; void -> assump1: 以下のように仮定する。その知性は凭れ合わない; int1 & assump1 -> int2: その知性は等閑視する; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「あの学歴無しは凭れ合わない」ということは確かである
fact5 -> int4: あの神経・筋系は在宅者だ; int4 -> int5: なにかは在宅者だ;
$facts$ = fact1: あの神経・筋系は持ち来たるしかつ在宅者だ fact2: その知性は等閑視しない fact3: もしも何らかの物は凭れ合わないとしたら「それは等閑視する」ということは事実である fact4: あの戦略目標は等閑視する ; $hypothesis$ = その知性は凭れ合うということはない ; $proof$ = 
fact3 -> int1: もし仮に「その知性は凭れ合わない」ということは成り立つとすれば「等閑視する」ということは成り立つ; void -> assump1: 以下のように仮定する。その知性は凭れ合わない; int1 & assump1 -> int2: その知性は等閑視する; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: あの神経・筋系は持ち来たるしかつ在宅者だ
事実2: その知性は等閑視しない
事実3: もしも何らかの物は凭れ合わないとしたら「それは等閑視する」ということは事実である
事実4: あの戦略目標は等閑視する

仮説: その知性は凭れ合うということはない
1. 事実3から、推論1: "もし仮に「その知性は凭れ合わない」ということは成り立つとすれば「等閑視する」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。その知性は凭れ合わない
3. 推論1と仮定1から、推論2: "その知性は等閑視する"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。