あの臓器は慎む
fact1: 「もしもなんらかのものは中止すらないとすると「それは労務者であるし加えて懸賞だ」ということは偽である」ということは確かである fact2: もしも「その時間値は参照物であるということはないかまたは混同し易いかもしくはどちらもである」ということは誤っているとしたらあの臓器は参照物でない fact3: もし仮にこの痂皮は丸くないなら「その時間値は中止すし更に御話する」ということは成り立つということはない fact4: その時間値が雄々しいならあの臓器は慎む fact5: もしなんらかのものが一転するならそれは若しない fact6: 雄々しいししかも若しということはない物は一転しない fact7: 仮に「何らかの物は一転しないけど混同し易い」ということは成り立つということはないならば慎まない fact8: このエレキギターは立体内視鏡でない fact9: もしも「一転しない」ものがあるならばあの時間値は混同し易くないけど雄々しい fact10: 仮に「何かは中止すしさらに御話する」ということは間違っているならそれは中止すらない fact11: ある物が牡丹餅山でないかあるいはそれが程遠いとしたらそれは若し fact12: もし仮に何かは若しないなら「それは一転しなくてしかもそれは混同し易い」ということは偽である fact13: もし仮に「何かは雄々しいしそれに若し」ということは嘘だとすれば若しない fact14: このエレキギターはビタミンＣだ fact15: 「あの空冷は牡丹餅山でないしさらにそれは程遠いということはない」ということは偽である fact16: もし仮にこのエレキギターが立体内視鏡でないとすればそれは牡丹餅山でないかまたは程遠いかどちらもである fact17: もし仮に「その時間値は労務者だし懸賞である」ということは真実でないとすれば「それは立体内視鏡でない」ということは真実だ fact18: その時間値は程遠くないとすると「あの臓器は雄々しいししかも若し」ということは成り立たない fact19: このエレキギターが慎めば若しない
fact5 -> int1: もしも「このエレキギターは一転する」ということは真実であるなら若しない; void -> assump1: 以下のように仮定する。このエレキギターは一転する; int1 & assump1 -> int2: このエレキギターは若しない; fact11 -> int3: もし仮にこのエレキギターは牡丹餅山でないかまたは程遠いかもしくは両方であるとすれば「それは若し」ということは確かだ; fact8 & fact16 -> int4: このエレキギターは牡丹餅山でないかもしくは程遠いかあるいは両方である; int3 & int4 -> int5: このエレキギターは若し; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このエレキギターは一転しない; int7 -> int8: 何らかの物は一転しない; int8 & fact9 -> int9: その時間値は混同し易くない一方でそれは雄々しい; int9 -> int10: その時間値は雄々しい; int10 & fact4 -> hypothesis;
あの臓器は慎まない
fact26 -> int11: もし「あの臓器は一転しないがしかし混同し易い」ということは嘘だとすればそれは慎まない; fact21 -> int12: もしもあの臓器は若しないなら「一転しないが混同し易い」ということは間違っている; fact27 -> int13: 「あの臓器は雄々しいししかも若し」ということは嘘だとすれば若しない; fact24 -> int14: もしその時間値は中止すということはないとすれば「労務者だし懸賞である」ということは偽だ; fact23 -> int15: もしも「その時間値は中止すし御話する」ということは間違っていれば中止すらない;
$facts$ = fact1: 「もしもなんらかのものは中止すらないとすると「それは労務者であるし加えて懸賞だ」ということは偽である」ということは確かである fact2: もしも「その時間値は参照物であるということはないかまたは混同し易いかもしくはどちらもである」ということは誤っているとしたらあの臓器は参照物でない fact3: もし仮にこの痂皮は丸くないなら「その時間値は中止すし更に御話する」ということは成り立つということはない fact4: その時間値が雄々しいならあの臓器は慎む fact5: もしなんらかのものが一転するならそれは若しない fact6: 雄々しいししかも若しということはない物は一転しない fact7: 仮に「何らかの物は一転しないけど混同し易い」ということは成り立つということはないならば慎まない fact8: このエレキギターは立体内視鏡でない fact9: もしも「一転しない」ものがあるならばあの時間値は混同し易くないけど雄々しい fact10: 仮に「何かは中止すしさらに御話する」ということは間違っているならそれは中止すらない fact11: ある物が牡丹餅山でないかあるいはそれが程遠いとしたらそれは若し fact12: もし仮に何かは若しないなら「それは一転しなくてしかもそれは混同し易い」ということは偽である fact13: もし仮に「何かは雄々しいしそれに若し」ということは嘘だとすれば若しない fact14: このエレキギターはビタミンＣだ fact15: 「あの空冷は牡丹餅山でないしさらにそれは程遠いということはない」ということは偽である fact16: もし仮にこのエレキギターが立体内視鏡でないとすればそれは牡丹餅山でないかまたは程遠いかどちらもである fact17: もし仮に「その時間値は労務者だし懸賞である」ということは真実でないとすれば「それは立体内視鏡でない」ということは真実だ fact18: その時間値は程遠くないとすると「あの臓器は雄々しいししかも若し」ということは成り立たない fact19: このエレキギターが慎めば若しない ; $hypothesis$ = あの臓器は慎む ; $proof$ = 
fact5 -> int1: もしも「このエレキギターは一転する」ということは真実であるなら若しない; void -> assump1: 以下のように仮定する。このエレキギターは一転する; int1 & assump1 -> int2: このエレキギターは若しない; fact11 -> int3: もし仮にこのエレキギターは牡丹餅山でないかまたは程遠いかもしくは両方であるとすれば「それは若し」ということは確かだ; fact8 & fact16 -> int4: このエレキギターは牡丹餅山でないかもしくは程遠いかあるいは両方である; int3 & int4 -> int5: このエレキギターは若し; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このエレキギターは一転しない; int7 -> int8: 何らかの物は一転しない; int8 & fact9 -> int9: その時間値は混同し易くない一方でそれは雄々しい; int9 -> int10: その時間値は雄々しい; int10 & fact4 -> hypothesis; __PROVED__
事実1: 「もしもなんらかのものは中止すらないとすると「それは労務者であるし加えて懸賞だ」ということは偽である」ということは確かである
事実2: もしも「その時間値は参照物であるということはないかまたは混同し易いかもしくはどちらもである」ということは誤っているとしたらあの臓器は参照物でない
事実3: もし仮にこの痂皮は丸くないなら「その時間値は中止すし更に御話する」ということは成り立つということはない
事実4: その時間値が雄々しいならあの臓器は慎む
事実5: もしなんらかのものが一転するならそれは若しない
事実6: 雄々しいししかも若しということはない物は一転しない
事実7: 仮に「何らかの物は一転しないけど混同し易い」ということは成り立つということはないならば慎まない
事実8: このエレキギターは立体内視鏡でない
事実9: もしも「一転しない」ものがあるならばあの時間値は混同し易くないけど雄々しい
事実10: 仮に「何かは中止すしさらに御話する」ということは間違っているならそれは中止すらない
事実11: ある物が牡丹餅山でないかあるいはそれが程遠いとしたらそれは若し
事実12: もし仮に何かは若しないなら「それは一転しなくてしかもそれは混同し易い」ということは偽である
事実13: もし仮に「何かは雄々しいしそれに若し」ということは嘘だとすれば若しない
事実14: このエレキギターはビタミンＣだ
事実15: 「あの空冷は牡丹餅山でないしさらにそれは程遠いということはない」ということは偽である
事実16: もし仮にこのエレキギターが立体内視鏡でないとすればそれは牡丹餅山でないかまたは程遠いかどちらもである
事実17: もし仮に「その時間値は労務者だし懸賞である」ということは真実でないとすれば「それは立体内視鏡でない」ということは真実だ
事実18: その時間値は程遠くないとすると「あの臓器は雄々しいししかも若し」ということは成り立たない
事実19: このエレキギターが慎めば若しない

仮説: あの臓器は慎む
1. 事実5から、推論1: "もしも「このエレキギターは一転する」ということは真実であるなら若しない"が導かれる
2. 仮定1: 以下のように仮定する。このエレキギターは一転する
3. 推論1と仮定1から、推論2: "このエレキギターは若しない"が導かれる
4. 事実11から、推論3: "もし仮にこのエレキギターは牡丹餅山でないかまたは程遠いかもしくは両方であるとすれば「それは若し」ということは確かだ"が導かれる
5. 事実8と事実16から、推論4: "このエレキギターは牡丹餅山でないかもしくは程遠いかあるいは両方である"が導かれる
6. 推論3と推論4から、推論5: "このエレキギターは若し"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "このエレキギターは一転しない"が導かれる
9. 推論7から、推論8: "何らかの物は一転しない"が導かれる
10. 推論8と事実9から、推論9: "その時間値は混同し易くない一方でそれは雄々しい"が導かれる
11. 推論9から、推論10: "その時間値は雄々しい"が導かれる
12. 推論10と事実4から、仮説が導かれる

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