もしもその合鍵は結び付き易くないならば「あの前振りは痛み易くない一方でそれは痛々しい」ということは成り立つということはない
fact1: もし仮に「身体諸機能でない」ものはあるとしたら「あの前振りは痛み易くないが痛々しい」ということは成り立たない fact2: もしも「なにかは身体諸機能でない」ということは真実であるとしたら「あの安定状態は痛々しいし更に痛み易い」ということは偽である fact3: もしあの前振りは痛み易くないとすれば「あの安定状態は痛々しくてかつ身体諸機能である」ということは間違っている fact4: 仮にその合鍵が結び付き易いとするとあの安定状態は身体諸機能でない fact5: 仮にあの安定状態は結び付き易いとすれば「その合鍵は身体諸機能でないがしかし痛々しい」ということは誤りだ fact6: 「あの安定状態が身体諸機能だしさらにそれは痛み易い」ということは成り立つということはない fact7: もしもその合鍵が結び付き易くないとするとあの安定状態は身体諸機能だということはない
void -> assump1: 以下のように仮定する。その合鍵は結び付き易くない; fact7 & assump1 -> int1: あの安定状態は身体諸機能でない; int1 -> int2: 「身体諸機能であるということはない」ものはある; int2 & fact1 -> int3: 「あの前振りは痛み易いということはないが痛々しい」ということは成り立たない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮に「身体諸機能でない」ものはあるとしたら「あの前振りは痛み易くないが痛々しい」ということは成り立たない fact2: もしも「なにかは身体諸機能でない」ということは真実であるとしたら「あの安定状態は痛々しいし更に痛み易い」ということは偽である fact3: もしあの前振りは痛み易くないとすれば「あの安定状態は痛々しくてかつ身体諸機能である」ということは間違っている fact4: 仮にその合鍵が結び付き易いとするとあの安定状態は身体諸機能でない fact5: 仮にあの安定状態は結び付き易いとすれば「その合鍵は身体諸機能でないがしかし痛々しい」ということは誤りだ fact6: 「あの安定状態が身体諸機能だしさらにそれは痛み易い」ということは成り立つということはない fact7: もしもその合鍵が結び付き易くないとするとあの安定状態は身体諸機能だということはない ; $hypothesis$ = もしもその合鍵は結び付き易くないならば「あの前振りは痛み易くない一方でそれは痛々しい」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その合鍵は結び付き易くない; fact7 & assump1 -> int1: あの安定状態は身体諸機能でない; int1 -> int2: 「身体諸機能であるということはない」ものはある; int2 & fact1 -> int3: 「あの前振りは痛み易いということはないが痛々しい」ということは成り立たない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「身体諸機能でない」ものはあるとしたら「あの前振りは痛み易くないが痛々しい」ということは成り立たない
事実2: もしも「なにかは身体諸機能でない」ということは真実であるとしたら「あの安定状態は痛々しいし更に痛み易い」ということは偽である
事実3: もしあの前振りは痛み易くないとすれば「あの安定状態は痛々しくてかつ身体諸機能である」ということは間違っている
事実4: 仮にその合鍵が結び付き易いとするとあの安定状態は身体諸機能でない
事実5: 仮にあの安定状態は結び付き易いとすれば「その合鍵は身体諸機能でないがしかし痛々しい」ということは誤りだ
事実6: 「あの安定状態が身体諸機能だしさらにそれは痛み易い」ということは成り立つということはない
事実7: もしもその合鍵が結び付き易くないとするとあの安定状態は身体諸機能だということはない

仮説: もしもその合鍵は結び付き易くないならば「あの前振りは痛み易くない一方でそれは痛々しい」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。その合鍵は結び付き易くない
2. 事実7と仮定1から、推論1: "あの安定状態は身体諸機能でない"が導かれる
3. 推論1から、推論2: "「身体諸機能であるということはない」ものはある"が導かれる
4. 推論2と事実1から、推論3: "「あの前振りは痛み易いということはないが痛々しい」ということは成り立たない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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