「あの東条大将は抜け易いということはない」ということは事実である
fact1: このクリスタルは最初だ fact2: 仮にその降圧薬が付与すとしたらそれは合併し易くないか最初でないかもしくはどちらもだ fact3: 仮にその降圧薬が蛾グリーフであるけどそれが散財するということはないならばあの東条大将は抜け易いということはない fact4: もしも「あのトレハロースは蛾グリーフである」ということは真実であるとしたらその降圧薬は蛾グリーフでない fact5: もし仮になにかはＡ列であるとすればそれは抜け易い fact6: もしもこのクリスタルが体験でないがしかしそれが合併し易いとするとあの窒化は近しない fact7: もし仮にその降圧薬が蛾グリーフならＡ列である fact8: もしもあのトレハロースがＡ列でないとすれば改良工事でなくて更にシックスセンスでない fact9: もしあのトレハロースがＡ列だとしたらそれは蛾グリーフである fact10: その降圧薬は付与す fact11: あの窒化は散財する fact12: あのトレハロースが蛾グリーフならばその降圧薬は蛾グリーフでなくて散財しない fact13: あのトレハロースはシックスセンスでない fact14: もしあのトレハロースが改良工事でないしさらにシックスセンスでないならばあの窒化は近し fact15: もしもこのクリスタルは最初であるとしたら体験でないが合併し易い fact16: あのトレハロースが蛾グリーフであるということはないならばあの東条大将は近ししＡ列である fact17: もしとある物が合併し易くないかあるいは最初でないならあの窒化は体験でない fact18: もしその降圧薬が蛾グリーフでなくてそれにそれが散財しないならあの東条大将は抜け易いということはない fact19: もし何かは体験でないとしたらそれは蛾グリーフでないか散財しないかまたはどちらもである
void -> assump1: 以下のように仮定する。あのトレハロースはＡ列でない; fact8 & assump1 -> int1: あのトレハロースは改良工事でなくてシックスセンスでない; int1 & fact14 -> int2: あの窒化は近し; fact15 & fact1 -> int3: このクリスタルは体験でないけれど合併し易い; fact6 & int3 -> int4: あの窒化は近しない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのトレハロースはＡ列だ; int6 & fact9 -> int7: 「あのトレハロースは蛾グリーフでない」ということは間違っている; int7 & fact12 -> int8: その降圧薬は蛾グリーフでなくてそれに散財しない; int8 & fact18 -> hypothesis;
あの東条大将は抜け易い
fact24 -> int9: もしもあの東条大将がＡ列なら抜け易い; fact20 -> int10: 「あの窒化は体験でない」ということは誤っていないならば蛾グリーフでないかもしくは散財しないかまたは両方だ; fact22 & fact21 -> int11: その降圧薬は合併し易くないかもしくは最初でないか両方だ; int11 -> int12: 「合併し易くないか最初でないか両方である」物はある; int12 & fact23 -> int13: あの窒化は体験でない; int10 & int13 -> int14: あの窒化は蛾グリーフでないか散財しないかもしくは両方ともである; int14 -> int15: 「蛾グリーフでないかまたは散財しないかまたは両方ともである」ものはある;
$facts$ = fact1: このクリスタルは最初だ fact2: 仮にその降圧薬が付与すとしたらそれは合併し易くないか最初でないかもしくはどちらもだ fact3: 仮にその降圧薬が蛾グリーフであるけどそれが散財するということはないならばあの東条大将は抜け易いということはない fact4: もしも「あのトレハロースは蛾グリーフである」ということは真実であるとしたらその降圧薬は蛾グリーフでない fact5: もし仮になにかはＡ列であるとすればそれは抜け易い fact6: もしもこのクリスタルが体験でないがしかしそれが合併し易いとするとあの窒化は近しない fact7: もし仮にその降圧薬が蛾グリーフならＡ列である fact8: もしもあのトレハロースがＡ列でないとすれば改良工事でなくて更にシックスセンスでない fact9: もしあのトレハロースがＡ列だとしたらそれは蛾グリーフである fact10: その降圧薬は付与す fact11: あの窒化は散財する fact12: あのトレハロースが蛾グリーフならばその降圧薬は蛾グリーフでなくて散財しない fact13: あのトレハロースはシックスセンスでない fact14: もしあのトレハロースが改良工事でないしさらにシックスセンスでないならばあの窒化は近し fact15: もしもこのクリスタルは最初であるとしたら体験でないが合併し易い fact16: あのトレハロースが蛾グリーフであるということはないならばあの東条大将は近ししＡ列である fact17: もしとある物が合併し易くないかあるいは最初でないならあの窒化は体験でない fact18: もしその降圧薬が蛾グリーフでなくてそれにそれが散財しないならあの東条大将は抜け易いということはない fact19: もし何かは体験でないとしたらそれは蛾グリーフでないか散財しないかまたはどちらもである ; $hypothesis$ = 「あの東条大将は抜け易いということはない」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのトレハロースはＡ列でない; fact8 & assump1 -> int1: あのトレハロースは改良工事でなくてシックスセンスでない; int1 & fact14 -> int2: あの窒化は近し; fact15 & fact1 -> int3: このクリスタルは体験でないけれど合併し易い; fact6 & int3 -> int4: あの窒化は近しない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのトレハロースはＡ列だ; int6 & fact9 -> int7: 「あのトレハロースは蛾グリーフでない」ということは間違っている; int7 & fact12 -> int8: その降圧薬は蛾グリーフでなくてそれに散財しない; int8 & fact18 -> hypothesis; __PROVED__
事実1: このクリスタルは最初だ
事実2: 仮にその降圧薬が付与すとしたらそれは合併し易くないか最初でないかもしくはどちらもだ
事実3: 仮にその降圧薬が蛾グリーフであるけどそれが散財するということはないならばあの東条大将は抜け易いということはない
事実4: もしも「あのトレハロースは蛾グリーフである」ということは真実であるとしたらその降圧薬は蛾グリーフでない
事実5: もし仮になにかはＡ列であるとすればそれは抜け易い
事実6: もしもこのクリスタルが体験でないがしかしそれが合併し易いとするとあの窒化は近しない
事実7: もし仮にその降圧薬が蛾グリーフならＡ列である
事実8: もしもあのトレハロースがＡ列でないとすれば改良工事でなくて更にシックスセンスでない
事実9: もしあのトレハロースがＡ列だとしたらそれは蛾グリーフである
事実10: その降圧薬は付与す
事実11: あの窒化は散財する
事実12: あのトレハロースが蛾グリーフならばその降圧薬は蛾グリーフでなくて散財しない
事実13: あのトレハロースはシックスセンスでない
事実14: もしあのトレハロースが改良工事でないしさらにシックスセンスでないならばあの窒化は近し
事実15: もしもこのクリスタルは最初であるとしたら体験でないが合併し易い
事実16: あのトレハロースが蛾グリーフであるということはないならばあの東条大将は近ししＡ列である
事実17: もしとある物が合併し易くないかあるいは最初でないならあの窒化は体験でない
事実18: もしその降圧薬が蛾グリーフでなくてそれにそれが散財しないならあの東条大将は抜け易いということはない
事実19: もし何かは体験でないとしたらそれは蛾グリーフでないか散財しないかまたはどちらもである

仮説: 「あの東条大将は抜け易いということはない」ということは事実である
1. 仮定1: 以下のように仮定する。あのトレハロースはＡ列でない
2. 事実8と仮定1から、推論1: "あのトレハロースは改良工事でなくてシックスセンスでない"が導かれる
3. 推論1と事実14から、推論2: "あの窒化は近し"が導かれる
4. 事実15と事実1から、推論3: "このクリスタルは体験でないけれど合併し易い"が導かれる
5. 事実6と推論3から、推論4: "あの窒化は近しない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あのトレハロースはＡ列だ"が導かれる
8. 推論6と事実9から、推論7: "「あのトレハロースは蛾グリーフでない」ということは間違っている"が導かれる
9. 推論7と事実12から、推論8: "その降圧薬は蛾グリーフでなくてそれに散財しない"が導かれる
10. 推論8と事実18から、仮説が導かれる

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