もし「その良型は自習だ」ということは事実であるとすればこの新株券は人生訓でない
fact1: その良型は自習であるならそれは転び易い fact2: カザフスタン内はか弱い fact3: もしも「この新株券は転び易くないしそれは除算しない」ということは成り立たないとしたら人生訓である fact4: 「何かは転び易くないししかも除算しない」ということは成り立たないとすれば人生訓であるということはない fact5: 仮にこの新株券が除算するとすればそれは人生訓でない fact6: もし仮にその良型は転び易いならば「この新株券は転び易くなくて除算しない」ということは誤っている
void -> assump1: 以下のように仮定する。その良型は自習だ; fact1 & assump1 -> int1: その良型は転び易い; int1 & fact6 -> int2: 「この新株券は転び易くなくてまた除算しない」ということは事実でない; fact4 -> int3: 仮に「この新株券は転び易くなくて更に除算しない」ということは誤っているとすると人生訓でない; int2 & int3 -> int4: この新株券は人生訓だということはない; [assump1] & int4 -> hypothesis;
もしその良型はカザフスタン内であるとするとそれはか弱い
fact7 -> hypothesis;
$facts$ = fact1: その良型は自習であるならそれは転び易い fact2: カザフスタン内はか弱い fact3: もしも「この新株券は転び易くないしそれは除算しない」ということは成り立たないとしたら人生訓である fact4: 「何かは転び易くないししかも除算しない」ということは成り立たないとすれば人生訓であるということはない fact5: 仮にこの新株券が除算するとすればそれは人生訓でない fact6: もし仮にその良型は転び易いならば「この新株券は転び易くなくて除算しない」ということは誤っている ; $hypothesis$ = もし「その良型は自習だ」ということは事実であるとすればこの新株券は人生訓でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その良型は自習だ; fact1 & assump1 -> int1: その良型は転び易い; int1 & fact6 -> int2: 「この新株券は転び易くなくてまた除算しない」ということは事実でない; fact4 -> int3: 仮に「この新株券は転び易くなくて更に除算しない」ということは誤っているとすると人生訓でない; int2 & int3 -> int4: この新株券は人生訓だということはない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: その良型は自習であるならそれは転び易い
事実2: カザフスタン内はか弱い
事実3: もしも「この新株券は転び易くないしそれは除算しない」ということは成り立たないとしたら人生訓である
事実4: 「何かは転び易くないししかも除算しない」ということは成り立たないとすれば人生訓であるということはない
事実5: 仮にこの新株券が除算するとすればそれは人生訓でない
事実6: もし仮にその良型は転び易いならば「この新株券は転び易くなくて除算しない」ということは誤っている

仮説: もし「その良型は自習だ」ということは事実であるとすればこの新株券は人生訓でない
1. 仮定1: 以下のように仮定する。その良型は自習だ
2. 事実1と仮定1から、推論1: "その良型は転び易い"が導かれる
3. 推論1と事実6から、推論2: "「この新株券は転び易くなくてまた除算しない」ということは事実でない"が導かれる
4. 事実4から、推論3: "仮に「この新株券は転び易くなくて更に除算しない」ということは誤っているとすると人生訓でない"が導かれる
5. 推論2と推論3から、推論4: "この新株券は人生訓だということはない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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