あの千九百二十年度予算は成り易いということはない
fact1: もしあの千九百二十年度予算が癒し難いとすればそれは全人口であるが満遍無くない fact2: あの千九百二十年度予算は癒し難い fact3: もしその社会環境が主要国ならあのドライアードは主要国でない fact4: もしもなにかは成り易いならば「それは主要国だ」ということは嘘であるということはない fact5: もしもその社会環境が主要国である一方でそれが損失負担等でないとしたらあのドライアードは成り易い fact6: あの千九百二十年度予算が損失負担等だとしたらあのドライアードは主要国である fact7: 「あの千九百二十年度予算は成り易い」ということは成り立つなら「それは損失負担等だ」ということは成り立つ fact8: もしもその社会環境は思い出深くないとすると「あのドライアードは主要国でない」ということは本当である fact9: もし仮にその社会環境が簡便さであるとすると主要国であるかまたはそれは思い出深くないかまたは両方である fact10: もしもあの千九百二十年度予算が全人口だが満遍無くないならばあの法学セミナーは満遍無くない fact11: 「その社会環境は緊迫するということはない」ということは正しいならばそれは思い出深いし簡便さだ fact12: もしもあのドライアードが成り易いとするとあの千九百二十年度予算は成り易い fact13: その社会環境は簡便さだ fact14: もし仮にこの法学セミナーは満遍無くないなら「それは簡便さでないしまた緊迫するということはない」ということは間違っている
void -> assump1: 以下のように仮定する。あの千九百二十年度予算は成り易い; fact7 & assump1 -> int1: あの千九百二十年度予算は損失負担等だ; int1 & fact6 -> int2: あのドライアードは主要国だ; fact13 & fact9 -> int3: その社会環境は主要国であるか思い出深くない; fact8 & int3 & fact3 -> int4: あのドライアードは主要国でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの千九百二十年度予算は成り易い
$facts$ = fact1: もしあの千九百二十年度予算が癒し難いとすればそれは全人口であるが満遍無くない fact2: あの千九百二十年度予算は癒し難い fact3: もしその社会環境が主要国ならあのドライアードは主要国でない fact4: もしもなにかは成り易いならば「それは主要国だ」ということは嘘であるということはない fact5: もしもその社会環境が主要国である一方でそれが損失負担等でないとしたらあのドライアードは成り易い fact6: あの千九百二十年度予算が損失負担等だとしたらあのドライアードは主要国である fact7: 「あの千九百二十年度予算は成り易い」ということは成り立つなら「それは損失負担等だ」ということは成り立つ fact8: もしもその社会環境は思い出深くないとすると「あのドライアードは主要国でない」ということは本当である fact9: もし仮にその社会環境が簡便さであるとすると主要国であるかまたはそれは思い出深くないかまたは両方である fact10: もしもあの千九百二十年度予算が全人口だが満遍無くないならばあの法学セミナーは満遍無くない fact11: 「その社会環境は緊迫するということはない」ということは正しいならばそれは思い出深いし簡便さだ fact12: もしもあのドライアードが成り易いとするとあの千九百二十年度予算は成り易い fact13: その社会環境は簡便さだ fact14: もし仮にこの法学セミナーは満遍無くないなら「それは簡便さでないしまた緊迫するということはない」ということは間違っている ; $hypothesis$ = あの千九百二十年度予算は成り易いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの千九百二十年度予算は成り易い; fact7 & assump1 -> int1: あの千九百二十年度予算は損失負担等だ; int1 & fact6 -> int2: あのドライアードは主要国だ; fact13 & fact9 -> int3: その社会環境は主要国であるか思い出深くない; fact8 & int3 & fact3 -> int4: あのドライアードは主要国でない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしあの千九百二十年度予算が癒し難いとすればそれは全人口であるが満遍無くない
事実2: あの千九百二十年度予算は癒し難い
事実3: もしその社会環境が主要国ならあのドライアードは主要国でない
事実4: もしもなにかは成り易いならば「それは主要国だ」ということは嘘であるということはない
事実5: もしもその社会環境が主要国である一方でそれが損失負担等でないとしたらあのドライアードは成り易い
事実6: あの千九百二十年度予算が損失負担等だとしたらあのドライアードは主要国である
事実7: 「あの千九百二十年度予算は成り易い」ということは成り立つなら「それは損失負担等だ」ということは成り立つ
事実8: もしもその社会環境は思い出深くないとすると「あのドライアードは主要国でない」ということは本当である
事実9: もし仮にその社会環境が簡便さであるとすると主要国であるかまたはそれは思い出深くないかまたは両方である
事実10: もしもあの千九百二十年度予算が全人口だが満遍無くないならばあの法学セミナーは満遍無くない
事実11: 「その社会環境は緊迫するということはない」ということは正しいならばそれは思い出深いし簡便さだ
事実12: もしもあのドライアードが成り易いとするとあの千九百二十年度予算は成り易い
事実13: その社会環境は簡便さだ
事実14: もし仮にこの法学セミナーは満遍無くないなら「それは簡便さでないしまた緊迫するということはない」ということは間違っている

仮説: あの千九百二十年度予算は成り易いということはない
1. 仮定1: 以下のように仮定する。あの千九百二十年度予算は成り易い
2. 事実7と仮定1から、推論1: "あの千九百二十年度予算は損失負担等だ"が導かれる
3. 推論1と事実6から、推論2: "あのドライアードは主要国だ"が導かれる
4. 事実13と事実9から、推論3: "その社会環境は主要国であるか思い出深くない"が導かれる
5. 事実8と推論3と事実3から、推論4: "あのドライアードは主要国でない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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