この金庫は決着しない
fact1: 「この雪中梅は業者でないしまた四半期計画でない」ということは偽ならば「この金庫は御持て成ししない」ということは確かである fact2: もしもなにがしかのものが御持て成ししないならば決着するしおまけに社会的ニーズだ fact3: もし「この金庫は決着する」ということは真実ならば「それは社会的ニーズである」ということは真実だ fact4: 何かは御持て成ししないし業者でないならばあの金庫は社会的ニーズでない fact5: もし仮にとある物がログオン出来ないとすればそれは貸し金業である fact6: この金庫は聞き取り易い fact7: なんらかのものは御持て成ししないし加えてそれは業者でない fact8: 「御持て成しするということはなくて業者な」物はある
void -> assump1: 以下のように仮定する。この金庫は決着する; fact3 & assump1 -> int1: この金庫は社会的ニーズだ; fact7 & fact4 -> int2: 「この金庫は社会的ニーズでない」ということは確かである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この金庫は決着する
fact9 -> int4: もし仮にこの金庫が御持て成ししないならば決着するしそれに社会的ニーズだ; fact11 -> int5: もし仮にあの手形・小切手がログオン出来るということはないとすると貸し金業だ;
$facts$ = fact1: 「この雪中梅は業者でないしまた四半期計画でない」ということは偽ならば「この金庫は御持て成ししない」ということは確かである fact2: もしもなにがしかのものが御持て成ししないならば決着するしおまけに社会的ニーズだ fact3: もし「この金庫は決着する」ということは真実ならば「それは社会的ニーズである」ということは真実だ fact4: 何かは御持て成ししないし業者でないならばあの金庫は社会的ニーズでない fact5: もし仮にとある物がログオン出来ないとすればそれは貸し金業である fact6: この金庫は聞き取り易い fact7: なんらかのものは御持て成ししないし加えてそれは業者でない fact8: 「御持て成しするということはなくて業者な」物はある ; $hypothesis$ = この金庫は決着しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この金庫は決着する; fact3 & assump1 -> int1: この金庫は社会的ニーズだ; fact7 & fact4 -> int2: 「この金庫は社会的ニーズでない」ということは確かである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「この雪中梅は業者でないしまた四半期計画でない」ということは偽ならば「この金庫は御持て成ししない」ということは確かである
事実2: もしもなにがしかのものが御持て成ししないならば決着するしおまけに社会的ニーズだ
事実3: もし「この金庫は決着する」ということは真実ならば「それは社会的ニーズである」ということは真実だ
事実4: 何かは御持て成ししないし業者でないならばあの金庫は社会的ニーズでない
事実5: もし仮にとある物がログオン出来ないとすればそれは貸し金業である
事実6: この金庫は聞き取り易い
事実7: なんらかのものは御持て成ししないし加えてそれは業者でない
事実8: 「御持て成しするということはなくて業者な」物はある

仮説: この金庫は決着しない
1. 仮定1: 以下のように仮定する。この金庫は決着する
2. 事実3と仮定1から、推論1: "この金庫は社会的ニーズだ"が導かれる
3. 事実7と事実4から、推論2: "「この金庫は社会的ニーズでない」ということは確かである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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