「あの勧誘者は御し易いということはない」ということは確かだ
fact1: その鼻摘み者が伸び過ぎるならばあの小売り業は多湿条件だ fact2: もしもなにかは加入出来るしそれが算するとしたら御し易くない fact3: あの独り神は汚れ難い fact4: もしもあの独り神が汚れ難いとすればその鼻摘み者は伸び過ぎる fact5: 「この短期資金は算する」ということは成り立つ fact6: 仮に何らかの物は加入出来るが算するということはないとすれば御し易くない fact7: あの勧誘者は算しない fact8: 仮にあの書証が品種改良であるとするとこの短期資金は保存し直す fact9: 揺るぎない物は品種改良である fact10: もしもあの独り神は汚れ難い一方で揺るぎないということはないならそれは品種改良でない fact11: もしもあの勧誘者は加入出来るし算するならそれは御し易くない fact12: 多湿条件は汚れ難くなくて伸び過ぎない fact13: 仮にこの短期資金が保存し直すならあの勧誘者は加入出来るけど算しない fact14: 仮にあの独り神は品種改良でないなら揺るぎないしまた多湿条件だ fact15: もし仮にこの短期資金が保存し直すとするとあの勧誘者は算しない fact16: もしその小売り業が多湿条件であるとするとあの書証は揺るぎない
fact4 & fact3 -> int1: その鼻摘み者は伸び過ぎる; int1 & fact1 -> int2: その小売り業は多湿条件である; int2 & fact16 -> int3: あの書証は揺るぎない; fact9 -> int4: もしあの書証が揺るぎないとするとそれは品種改良だ; int3 & int4 -> int5: あの書証は品種改良だ; int5 & fact8 -> int6: この短期資金は保存し直す; int6 & fact13 -> int7: あの勧誘者は加入出来るけどそれは算しない; fact6 -> int8: 仮にあの勧誘者が加入出来るがしかし算しないなら御し易くない; int7 & int8 -> hypothesis;
あの勧誘者は御し易い
fact18 -> int9: あの独り神が多湿条件だとしたら汚れ難くないしそれに伸び過ぎない;
$facts$ = fact1: その鼻摘み者が伸び過ぎるならばあの小売り業は多湿条件だ fact2: もしもなにかは加入出来るしそれが算するとしたら御し易くない fact3: あの独り神は汚れ難い fact4: もしもあの独り神が汚れ難いとすればその鼻摘み者は伸び過ぎる fact5: 「この短期資金は算する」ということは成り立つ fact6: 仮に何らかの物は加入出来るが算するということはないとすれば御し易くない fact7: あの勧誘者は算しない fact8: 仮にあの書証が品種改良であるとするとこの短期資金は保存し直す fact9: 揺るぎない物は品種改良である fact10: もしもあの独り神は汚れ難い一方で揺るぎないということはないならそれは品種改良でない fact11: もしもあの勧誘者は加入出来るし算するならそれは御し易くない fact12: 多湿条件は汚れ難くなくて伸び過ぎない fact13: 仮にこの短期資金が保存し直すならあの勧誘者は加入出来るけど算しない fact14: 仮にあの独り神は品種改良でないなら揺るぎないしまた多湿条件だ fact15: もし仮にこの短期資金が保存し直すとするとあの勧誘者は算しない fact16: もしその小売り業が多湿条件であるとするとあの書証は揺るぎない ; $hypothesis$ = 「あの勧誘者は御し易いということはない」ということは確かだ ; $proof$ = 
fact4 & fact3 -> int1: その鼻摘み者は伸び過ぎる; int1 & fact1 -> int2: その小売り業は多湿条件である; int2 & fact16 -> int3: あの書証は揺るぎない; fact9 -> int4: もしあの書証が揺るぎないとするとそれは品種改良だ; int3 & int4 -> int5: あの書証は品種改良だ; int5 & fact8 -> int6: この短期資金は保存し直す; int6 & fact13 -> int7: あの勧誘者は加入出来るけどそれは算しない; fact6 -> int8: 仮にあの勧誘者が加入出来るがしかし算しないなら御し易くない; int7 & int8 -> hypothesis; __PROVED__
事実1: その鼻摘み者が伸び過ぎるならばあの小売り業は多湿条件だ
事実2: もしもなにかは加入出来るしそれが算するとしたら御し易くない
事実3: あの独り神は汚れ難い
事実4: もしもあの独り神が汚れ難いとすればその鼻摘み者は伸び過ぎる
事実5: 「この短期資金は算する」ということは成り立つ
事実6: 仮に何らかの物は加入出来るが算するということはないとすれば御し易くない
事実7: あの勧誘者は算しない
事実8: 仮にあの書証が品種改良であるとするとこの短期資金は保存し直す
事実9: 揺るぎない物は品種改良である
事実10: もしもあの独り神は汚れ難い一方で揺るぎないということはないならそれは品種改良でない
事実11: もしもあの勧誘者は加入出来るし算するならそれは御し易くない
事実12: 多湿条件は汚れ難くなくて伸び過ぎない
事実13: 仮にこの短期資金が保存し直すならあの勧誘者は加入出来るけど算しない
事実14: 仮にあの独り神は品種改良でないなら揺るぎないしまた多湿条件だ
事実15: もし仮にこの短期資金が保存し直すとするとあの勧誘者は算しない
事実16: もしその小売り業が多湿条件であるとするとあの書証は揺るぎない

仮説: 「あの勧誘者は御し易いということはない」ということは確かだ
1. 事実4と事実3から、推論1: "その鼻摘み者は伸び過ぎる"が導かれる
2. 推論1と事実1から、推論2: "その小売り業は多湿条件である"が導かれる
3. 推論2と事実16から、推論3: "あの書証は揺るぎない"が導かれる
4. 事実9から、推論4: "もしあの書証が揺るぎないとするとそれは品種改良だ"が導かれる
5. 推論3と推論4から、推論5: "あの書証は品種改良だ"が導かれる
6. 推論5と事実8から、推論6: "この短期資金は保存し直す"が導かれる
7. 推論6と事実13から、推論7: "あの勧誘者は加入出来るけどそれは算しない"が導かれる
8. 事実6から、推論8: "仮にあの勧誘者が加入出来るがしかし算しないなら御し易くない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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