あの清虚道徳真君は植え継ぐ
fact1: もしも「このプレゼンテーション資料はレシプロだ一方でそれは賢しない」ということは偽であるならあの清虚道徳真君は離婚意思だ fact2: なにがしかの物は離婚意思であるとすれば叩き壊す fact3: もしこのプレゼンテーション資料がレシプロでないとすれば離婚意思であるし更にそれは賢し fact4: あの清虚道徳真君は植え継がないとしたら「それは癒し難いし助く」ということは成り立たない fact5: このプレゼンテーション資料は助く fact6: このプレゼンテーション資料は危うさだ fact7: 「「なんらかのものは癒し難いしまた助く」ということは偽ならそれは叩き壊すということはない」ということは確かだ fact8: 「このプレゼンテーション資料はレシプロであるが賢しない」ということは成り立たない
void -> assump1: 以下のように仮定する。あの清虚道徳真君は植え継がない; fact4 & assump1 -> int1: 「あの清虚道徳真君は癒し難いし更にそれは助く」ということは事実でない; fact7 -> int2: もし「あの清虚道徳真君は癒し難いしそれに助く」ということは正しくないとすると叩き壊さない; int1 & int2 -> int3: あの清虚道徳真君は叩き壊さない; fact2 -> int4: あの清虚道徳真君は離婚意思であるとしたら叩き壊す; fact8 & fact1 -> int5: あの清虚道徳真君は離婚意思だ; int4 & int5 -> int6: あの清虚道徳真君は叩き壊す; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの清虚道徳真君は植え継がない
$facts$ = fact1: もしも「このプレゼンテーション資料はレシプロだ一方でそれは賢しない」ということは偽であるならあの清虚道徳真君は離婚意思だ fact2: なにがしかの物は離婚意思であるとすれば叩き壊す fact3: もしこのプレゼンテーション資料がレシプロでないとすれば離婚意思であるし更にそれは賢し fact4: あの清虚道徳真君は植え継がないとしたら「それは癒し難いし助く」ということは成り立たない fact5: このプレゼンテーション資料は助く fact6: このプレゼンテーション資料は危うさだ fact7: 「「なんらかのものは癒し難いしまた助く」ということは偽ならそれは叩き壊すということはない」ということは確かだ fact8: 「このプレゼンテーション資料はレシプロであるが賢しない」ということは成り立たない ; $hypothesis$ = あの清虚道徳真君は植え継ぐ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの清虚道徳真君は植え継がない; fact4 & assump1 -> int1: 「あの清虚道徳真君は癒し難いし更にそれは助く」ということは事実でない; fact7 -> int2: もし「あの清虚道徳真君は癒し難いしそれに助く」ということは正しくないとすると叩き壊さない; int1 & int2 -> int3: あの清虚道徳真君は叩き壊さない; fact2 -> int4: あの清虚道徳真君は離婚意思であるとしたら叩き壊す; fact8 & fact1 -> int5: あの清虚道徳真君は離婚意思だ; int4 & int5 -> int6: あの清虚道徳真君は叩き壊す; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしも「このプレゼンテーション資料はレシプロだ一方でそれは賢しない」ということは偽であるならあの清虚道徳真君は離婚意思だ
事実2: なにがしかの物は離婚意思であるとすれば叩き壊す
事実3: もしこのプレゼンテーション資料がレシプロでないとすれば離婚意思であるし更にそれは賢し
事実4: あの清虚道徳真君は植え継がないとしたら「それは癒し難いし助く」ということは成り立たない
事実5: このプレゼンテーション資料は助く
事実6: このプレゼンテーション資料は危うさだ
事実7: 「「なんらかのものは癒し難いしまた助く」ということは偽ならそれは叩き壊すということはない」ということは確かだ
事実8: 「このプレゼンテーション資料はレシプロであるが賢しない」ということは成り立たない

仮説: あの清虚道徳真君は植え継ぐ
1. 仮定1: 以下のように仮定する。あの清虚道徳真君は植え継がない
2. 事実4と仮定1から、推論1: "「あの清虚道徳真君は癒し難いし更にそれは助く」ということは事実でない"が導かれる
3. 事実7から、推論2: "もし「あの清虚道徳真君は癒し難いしそれに助く」ということは正しくないとすると叩き壊さない"が導かれる
4. 推論1と推論2から、推論3: "あの清虚道徳真君は叩き壊さない"が導かれる
5. 事実2から、推論4: "あの清虚道徳真君は離婚意思であるとしたら叩き壊す"が導かれる
6. 事実8と事実1から、推論5: "あの清虚道徳真君は離婚意思だ"が導かれる
7. 推論4と推論5から、推論6: "あの清虚道徳真君は叩き壊す"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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