「この変換規則は数値化出来るし加えてそれは呼び易い」ということは成り立たない
fact1: もし仮にこの御昼時が宥めるとするとこの変換規則は呼び易い fact2: この御昼時が循環系なら宥める fact3: もし仮にこの変換規則が呼び易いとしたらこの御昼時は待ち構える fact4: この御昼時は循環系だということはないならば「この変換規則は数値化出来るし更に呼び易い」ということは嘘だ fact5: この変換規則は循環系だ fact6: 「「その法定追認は待ち構えるしまた宥める」ということは事実でない」ということは正しいとしたらこの御昼時は循環系でない fact7: この御昼時は循環系だ fact8: もしも「何かは循環系だがしかし数値化出来ない」ということは事実と異なるとすると数値化出来る fact9: この変換規則は数値化出来るし待ち構える
fact2 & fact7 -> int1: この御昼時は宥める; int1 & fact1 -> int2: この変換規則は呼び易い; fact9 -> int3: この変換規則は数値化出来る; int2 & int3 -> hypothesis;
あの七つの海は数値化出来る
fact10 -> int4: 「あの七つの海は循環系であるけど数値化出来ない」ということは成り立たないとすると数値化出来る;
$facts$ = fact1: もし仮にこの御昼時が宥めるとするとこの変換規則は呼び易い fact2: この御昼時が循環系なら宥める fact3: もし仮にこの変換規則が呼び易いとしたらこの御昼時は待ち構える fact4: この御昼時は循環系だということはないならば「この変換規則は数値化出来るし更に呼び易い」ということは嘘だ fact5: この変換規則は循環系だ fact6: 「「その法定追認は待ち構えるしまた宥める」ということは事実でない」ということは正しいとしたらこの御昼時は循環系でない fact7: この御昼時は循環系だ fact8: もしも「何かは循環系だがしかし数値化出来ない」ということは事実と異なるとすると数値化出来る fact9: この変換規則は数値化出来るし待ち構える ; $hypothesis$ = 「この変換規則は数値化出来るし加えてそれは呼び易い」ということは成り立たない ; $proof$ = 
fact2 & fact7 -> int1: この御昼時は宥める; int1 & fact1 -> int2: この変換規則は呼び易い; fact9 -> int3: この変換規則は数値化出来る; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの御昼時が宥めるとするとこの変換規則は呼び易い
事実2: この御昼時が循環系なら宥める
事実3: もし仮にこの変換規則が呼び易いとしたらこの御昼時は待ち構える
事実4: この御昼時は循環系だということはないならば「この変換規則は数値化出来るし更に呼び易い」ということは嘘だ
事実5: この変換規則は循環系だ
事実6: 「「その法定追認は待ち構えるしまた宥める」ということは事実でない」ということは正しいとしたらこの御昼時は循環系でない
事実7: この御昼時は循環系だ
事実8: もしも「何かは循環系だがしかし数値化出来ない」ということは事実と異なるとすると数値化出来る
事実9: この変換規則は数値化出来るし待ち構える

仮説: 「この変換規則は数値化出来るし加えてそれは呼び易い」ということは成り立たない
1. 事実2と事実7から、推論1: "この御昼時は宥める"が導かれる
2. 推論1と事実1から、推論2: "この変換規則は呼び易い"が導かれる
3. 事実9から、推論3: "この変換規則は数値化出来る"が導かれる
4. 推論2と推論3から、仮説が否定される

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