この信管は脳虚血でない
fact1: もしそのパーミッションは疲れしないなら「それは割愛するし緩み易い」ということは成り立たない fact2: 「小休止するということはない」ものはある fact3: もし仮に「「割愛するししかも緩み易い」ということは成り立たない」物があるとしたらこの信管は脳虚血でない fact4: もし「小休止しない」ものがあるならあの達成値はＸ方向だ fact5: もし仮にあの達成値がＸ方向であるとしたらそのパーミッションは疲れしない
fact2 & fact4 -> int1: あの達成値はＸ方向である; int1 & fact5 -> int2: そのパーミッションは疲れしない; int2 & fact1 -> int3: 「そのパーミッションは割愛するしおまけに緩み易い」ということは嘘だ; int3 -> int4: 「「「割愛するしおまけに緩み易い」ということは間違っている」ものはある」ということは真実だ; int4 & fact3 -> hypothesis;
$facts$ = fact1: もしそのパーミッションは疲れしないなら「それは割愛するし緩み易い」ということは成り立たない fact2: 「小休止するということはない」ものはある fact3: もし仮に「「割愛するししかも緩み易い」ということは成り立たない」物があるとしたらこの信管は脳虚血でない fact4: もし「小休止しない」ものがあるならあの達成値はＸ方向だ fact5: もし仮にあの達成値がＸ方向であるとしたらそのパーミッションは疲れしない ; $hypothesis$ = この信管は脳虚血でない ; $proof$ = 
fact2 & fact4 -> int1: あの達成値はＸ方向である; int1 & fact5 -> int2: そのパーミッションは疲れしない; int2 & fact1 -> int3: 「そのパーミッションは割愛するしおまけに緩み易い」ということは嘘だ; int3 -> int4: 「「「割愛するしおまけに緩み易い」ということは間違っている」ものはある」ということは真実だ; int4 & fact3 -> hypothesis; __PROVED__
事実1: もしそのパーミッションは疲れしないなら「それは割愛するし緩み易い」ということは成り立たない
事実2: 「小休止するということはない」ものはある
事実3: もし仮に「「割愛するししかも緩み易い」ということは成り立たない」物があるとしたらこの信管は脳虚血でない
事実4: もし「小休止しない」ものがあるならあの達成値はＸ方向だ
事実5: もし仮にあの達成値がＸ方向であるとしたらそのパーミッションは疲れしない

仮説: この信管は脳虚血でない
1. 事実2と事実4から、推論1: "あの達成値はＸ方向である"が導かれる
2. 推論1と事実5から、推論2: "そのパーミッションは疲れしない"が導かれる
3. 推論2と事実1から、推論3: "「そのパーミッションは割愛するしおまけに緩み易い」ということは嘘だ"が導かれる
4. 推論3から、推論4: "「「「割愛するしおまけに緩み易い」ということは間違っている」ものはある」ということは真実だ"が導かれる
5. 推論4と事実3から、仮説が導かれる

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