この間欠期は規程でない
fact1: もしこの間欠期が大技であるとすればそのピッチングは優越する fact2: 「あの旧事本紀は如何わしいけれど強うない」ということは間違いである fact3: 「とあるものは如何わしくない」ということは成り立てば三本辻である fact4: 「ある物は如何わしいが強うない」ということは成り立たないとすればそれは三本辻である fact5: ある物が優越すればそれは規程だ fact6: 仮にそのピッチングが優越するかもしくは高野本であるかあるいは両方ともであるならばあの旧事本紀は三本辻であるということはない fact7: もしもこの間欠期は高野本であるということはなくて大技でないとしたらそれは優越する fact8: 規程は大技である
fact8 -> int1: もし仮にこの間欠期が規程ならそれは大技である; void -> assump1: 以下のように仮定する。「この間欠期は規程だ」ということは本当である; int1 & assump1 -> int2: この間欠期は大技である; int2 & fact1 -> int3: そのピッチングは優越する; int3 -> int4: そのピッチングは優越するかあるいはそれは高野本であるかあるいは両方ともだ; int4 & fact6 -> int5: あの旧事本紀は三本辻でない; fact4 -> int6: もしも「あの旧事本紀は如何わしいがしかし強うない」ということは成り立たないならばそれは三本辻である; int6 & fact2 -> int7: あの旧事本紀は三本辻だ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この間欠期は規程である
fact10 -> int9: この間欠期が優越するとしたらそれは規程である;
$facts$ = fact1: もしこの間欠期が大技であるとすればそのピッチングは優越する fact2: 「あの旧事本紀は如何わしいけれど強うない」ということは間違いである fact3: 「とあるものは如何わしくない」ということは成り立てば三本辻である fact4: 「ある物は如何わしいが強うない」ということは成り立たないとすればそれは三本辻である fact5: ある物が優越すればそれは規程だ fact6: 仮にそのピッチングが優越するかもしくは高野本であるかあるいは両方ともであるならばあの旧事本紀は三本辻であるということはない fact7: もしもこの間欠期は高野本であるということはなくて大技でないとしたらそれは優越する fact8: 規程は大技である ; $hypothesis$ = この間欠期は規程でない ; $proof$ = 
fact8 -> int1: もし仮にこの間欠期が規程ならそれは大技である; void -> assump1: 以下のように仮定する。「この間欠期は規程だ」ということは本当である; int1 & assump1 -> int2: この間欠期は大技である; int2 & fact1 -> int3: そのピッチングは優越する; int3 -> int4: そのピッチングは優越するかあるいはそれは高野本であるかあるいは両方ともだ; int4 & fact6 -> int5: あの旧事本紀は三本辻でない; fact4 -> int6: もしも「あの旧事本紀は如何わしいがしかし強うない」ということは成り立たないならばそれは三本辻である; int6 & fact2 -> int7: あの旧事本紀は三本辻だ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしこの間欠期が大技であるとすればそのピッチングは優越する
事実2: 「あの旧事本紀は如何わしいけれど強うない」ということは間違いである
事実3: 「とあるものは如何わしくない」ということは成り立てば三本辻である
事実4: 「ある物は如何わしいが強うない」ということは成り立たないとすればそれは三本辻である
事実5: ある物が優越すればそれは規程だ
事実6: 仮にそのピッチングが優越するかもしくは高野本であるかあるいは両方ともであるならばあの旧事本紀は三本辻であるということはない
事実7: もしもこの間欠期は高野本であるということはなくて大技でないとしたらそれは優越する
事実8: 規程は大技である

仮説: この間欠期は規程でない
1. 事実8から、推論1: "もし仮にこの間欠期が規程ならそれは大技である"が導かれる
2. 仮定1: 以下のように仮定する。「この間欠期は規程だ」ということは本当である
3. 推論1と仮定1から、推論2: "この間欠期は大技である"が導かれる
4. 推論2と事実1から、推論3: "そのピッチングは優越する"が導かれる
5. 推論3から、推論4: "そのピッチングは優越するかあるいはそれは高野本であるかあるいは両方ともだ"が導かれる
6. 推論4と事実6から、推論5: "あの旧事本紀は三本辻でない"が導かれる
7. 事実4から、推論6: "もしも「あの旧事本紀は如何わしいがしかし強うない」ということは成り立たないならばそれは三本辻である"が導かれる
8. 推論6と事実2から、推論7: "あの旧事本紀は三本辻だ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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