もし仮に「あの八文字屋本は叙すし進み易い」ということは真実であるとしたらあの純化は低くない
fact1: 仮にあの八文字屋本は至れるしおまけにＭＭＣであるとすると「あの純化は低くない」ということは本当だ fact2: 「もし仮にあの八文字屋本が嫌らしいとすればあの八文字屋本はＭＭＣである」ということは誤っていない fact3: あの八文字屋本が叙すしおまけにそれが進み易いとすればあの純化は低い fact4: あの八文字屋本が至れるしその上ｍＭＣであるとしたらあの純化は低い fact5: あの八文字屋本は進み易い fact6: あの純化は馬鹿らしい fact7: 仮にあの八文字屋本が叙すなら至れる fact8: あの八文字屋本は嫌らしい fact9: あの純化は低い fact10: 進み易くない物はＭＭＣであるしそれに叙す fact11: あの純化は低くてさらに嫌らしい fact12: 仮に「あの八文字屋本は低くなくてしかも至れない」ということは嘘であるとすればあの純化は進み易くない
void -> assump1: 以下のように仮定する。あの八文字屋本は叙すしまた進み易い; assump1 -> int1: あの八文字屋本は叙す; int1 & fact7 -> int2: あの八文字屋本は至れる; fact8 & fact2 -> int3: あの八文字屋本はＭＭＣである; int2 & int3 -> int4: あの八文字屋本は至れるし更にそれはＭＭＣだ; int4 & fact1 -> int5: あの純化は低くない; [assump1] & int5 -> hypothesis;
あの純化はＭＭＣである
fact14 -> int6: もし仮に「あの純化は進み易くない」ということは事実であるとすればそれはＭＭＣであるし加えて叙す;
$facts$ = fact1: 仮にあの八文字屋本は至れるしおまけにＭＭＣであるとすると「あの純化は低くない」ということは本当だ fact2: 「もし仮にあの八文字屋本が嫌らしいとすればあの八文字屋本はＭＭＣである」ということは誤っていない fact3: あの八文字屋本が叙すしおまけにそれが進み易いとすればあの純化は低い fact4: あの八文字屋本が至れるしその上ｍＭＣであるとしたらあの純化は低い fact5: あの八文字屋本は進み易い fact6: あの純化は馬鹿らしい fact7: 仮にあの八文字屋本が叙すなら至れる fact8: あの八文字屋本は嫌らしい fact9: あの純化は低い fact10: 進み易くない物はＭＭＣであるしそれに叙す fact11: あの純化は低くてさらに嫌らしい fact12: 仮に「あの八文字屋本は低くなくてしかも至れない」ということは嘘であるとすればあの純化は進み易くない ; $hypothesis$ = もし仮に「あの八文字屋本は叙すし進み易い」ということは真実であるとしたらあの純化は低くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの八文字屋本は叙すしまた進み易い; assump1 -> int1: あの八文字屋本は叙す; int1 & fact7 -> int2: あの八文字屋本は至れる; fact8 & fact2 -> int3: あの八文字屋本はＭＭＣである; int2 & int3 -> int4: あの八文字屋本は至れるし更にそれはＭＭＣだ; int4 & fact1 -> int5: あの純化は低くない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮にあの八文字屋本は至れるしおまけにＭＭＣであるとすると「あの純化は低くない」ということは本当だ
事実2: 「もし仮にあの八文字屋本が嫌らしいとすればあの八文字屋本はＭＭＣである」ということは誤っていない
事実3: あの八文字屋本が叙すしおまけにそれが進み易いとすればあの純化は低い
事実4: あの八文字屋本が至れるしその上ｍＭＣであるとしたらあの純化は低い
事実5: あの八文字屋本は進み易い
事実6: あの純化は馬鹿らしい
事実7: 仮にあの八文字屋本が叙すなら至れる
事実8: あの八文字屋本は嫌らしい
事実9: あの純化は低い
事実10: 進み易くない物はＭＭＣであるしそれに叙す
事実11: あの純化は低くてさらに嫌らしい
事実12: 仮に「あの八文字屋本は低くなくてしかも至れない」ということは嘘であるとすればあの純化は進み易くない

仮説: もし仮に「あの八文字屋本は叙すし進み易い」ということは真実であるとしたらあの純化は低くない
1. 仮定1: 以下のように仮定する。あの八文字屋本は叙すしまた進み易い
2. 仮定1から、推論1: "あの八文字屋本は叙す"が導かれる
3. 推論1と事実7から、推論2: "あの八文字屋本は至れる"が導かれる
4. 事実8と事実2から、推論3: "あの八文字屋本はＭＭＣである"が導かれる
5. 推論2と推論3から、推論4: "あの八文字屋本は至れるし更にそれはＭＭＣだ"が導かれる
6. 推論4と事実1から、推論5: "あの純化は低くない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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