この政治的課題は受け入れ難くない
fact1: あのセルＩは金融業界であるしさらにそれは割れ易い fact2: それは金融業界でなくてしかも売却しないという物はない fact3: 割れ易くない物は受戒するかもしくは受け入れ難いかもしくは両方ともである fact4: 「この有資格者は金融業界でないけど売却する」ということは間違いだ fact5: 「あのセルＩは拙くないけどそれは年取り魚だ」ということは間違いだ fact6: もし「あのセルＩは拙い」ということは事実であるとするとこの有資格者は堪え難い fact7: もしも「この有資格者は堪え難いかもしくはそれは名詞文であるかあるいは両方ともだ」ということは偽であるなら拙くない fact8: その新貝は売却しないとすれば「この有資格者は堪え難いかもしくは名詞文であるかあるいは両方ともだ」ということは間違いだ fact9: もしこの有資格者が堪え難くて名詞文であるとすればこの政治的課題は受け入れ難くない fact10: もし「この有資格者は金融業界でなくておまけに売却しない」ということは間違いであるとすれば名詞文である fact11: もし仮にある物は受戒するとしたら「それは年取り魚だ」ということは成り立つ fact12: もしもこの有資格者は拙くないならば「あのセルＩは年取り魚でないけど割れ易い」ということは間違っている fact13: もし仮に「あのセルＩは割れ易い」ということは成り立つならこの政治的課題は堪え難い fact14: 「この有資格者は金融業界だ一方で売却しない」ということは真実でない fact15: あのセルＩは割れ易いししかも受戒する
fact15 -> int1: あのセルＩは受戒する; fact11 -> int2: もしもあのセルＩが受戒すれば年取り魚だ; int1 & int2 -> int3: あのセルＩは年取り魚である; void -> assump1: 以下のように仮定する。あのセルＩは拙くない; int3 & assump1 -> int4: あのセルＩは拙くない一方で年取り魚である; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのセルＩは拙い; int6 & fact6 -> int7: この有資格者は堪え難い; fact2 -> int8: 「この有資格者は金融業界だということはないし加えて売却しない」ということは偽だ; fact10 & int8 -> int9: この有資格者は名詞文だ; int7 & int9 -> int10: この有資格者は堪え難くて名詞文である; int10 & fact9 -> hypothesis;
この政治的課題は受け入れ難い
fact16 -> int11: あのセルＩが割れ易くないとすればそれは受戒するかまたは受け入れ難いかもしくは両方ともだ;
$facts$ = fact1: あのセルＩは金融業界であるしさらにそれは割れ易い fact2: それは金融業界でなくてしかも売却しないという物はない fact3: 割れ易くない物は受戒するかもしくは受け入れ難いかもしくは両方ともである fact4: 「この有資格者は金融業界でないけど売却する」ということは間違いだ fact5: 「あのセルＩは拙くないけどそれは年取り魚だ」ということは間違いだ fact6: もし「あのセルＩは拙い」ということは事実であるとするとこの有資格者は堪え難い fact7: もしも「この有資格者は堪え難いかもしくはそれは名詞文であるかあるいは両方ともだ」ということは偽であるなら拙くない fact8: その新貝は売却しないとすれば「この有資格者は堪え難いかもしくは名詞文であるかあるいは両方ともだ」ということは間違いだ fact9: もしこの有資格者が堪え難くて名詞文であるとすればこの政治的課題は受け入れ難くない fact10: もし「この有資格者は金融業界でなくておまけに売却しない」ということは間違いであるとすれば名詞文である fact11: もし仮にある物は受戒するとしたら「それは年取り魚だ」ということは成り立つ fact12: もしもこの有資格者は拙くないならば「あのセルＩは年取り魚でないけど割れ易い」ということは間違っている fact13: もし仮に「あのセルＩは割れ易い」ということは成り立つならこの政治的課題は堪え難い fact14: 「この有資格者は金融業界だ一方で売却しない」ということは真実でない fact15: あのセルＩは割れ易いししかも受戒する ; $hypothesis$ = この政治的課題は受け入れ難くない ; $proof$ = 
fact15 -> int1: あのセルＩは受戒する; fact11 -> int2: もしもあのセルＩが受戒すれば年取り魚だ; int1 & int2 -> int3: あのセルＩは年取り魚である; void -> assump1: 以下のように仮定する。あのセルＩは拙くない; int3 & assump1 -> int4: あのセルＩは拙くない一方で年取り魚である; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのセルＩは拙い; int6 & fact6 -> int7: この有資格者は堪え難い; fact2 -> int8: 「この有資格者は金融業界だということはないし加えて売却しない」ということは偽だ; fact10 & int8 -> int9: この有資格者は名詞文だ; int7 & int9 -> int10: この有資格者は堪え難くて名詞文である; int10 & fact9 -> hypothesis; __PROVED__
事実1: あのセルＩは金融業界であるしさらにそれは割れ易い
事実2: それは金融業界でなくてしかも売却しないという物はない
事実3: 割れ易くない物は受戒するかもしくは受け入れ難いかもしくは両方ともである
事実4: 「この有資格者は金融業界でないけど売却する」ということは間違いだ
事実5: 「あのセルＩは拙くないけどそれは年取り魚だ」ということは間違いだ
事実6: もし「あのセルＩは拙い」ということは事実であるとするとこの有資格者は堪え難い
事実7: もしも「この有資格者は堪え難いかもしくはそれは名詞文であるかあるいは両方ともだ」ということは偽であるなら拙くない
事実8: その新貝は売却しないとすれば「この有資格者は堪え難いかもしくは名詞文であるかあるいは両方ともだ」ということは間違いだ
事実9: もしこの有資格者が堪え難くて名詞文であるとすればこの政治的課題は受け入れ難くない
事実10: もし「この有資格者は金融業界でなくておまけに売却しない」ということは間違いであるとすれば名詞文である
事実11: もし仮にある物は受戒するとしたら「それは年取り魚だ」ということは成り立つ
事実12: もしもこの有資格者は拙くないならば「あのセルＩは年取り魚でないけど割れ易い」ということは間違っている
事実13: もし仮に「あのセルＩは割れ易い」ということは成り立つならこの政治的課題は堪え難い
事実14: 「この有資格者は金融業界だ一方で売却しない」ということは真実でない
事実15: あのセルＩは割れ易いししかも受戒する

仮説: この政治的課題は受け入れ難くない
1. 事実15から、推論1: "あのセルＩは受戒する"が導かれる
2. 事実11から、推論2: "もしもあのセルＩが受戒すれば年取り魚だ"が導かれる
3. 推論1と推論2から、推論3: "あのセルＩは年取り魚である"が導かれる
4. 仮定1: 以下のように仮定する。あのセルＩは拙くない
5. 推論3と仮定1から、推論4: "あのセルＩは拙くない一方で年取り魚である"が導かれる
6. 推論4と事実5から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あのセルＩは拙い"が導かれる
8. 推論6と事実6から、推論7: "この有資格者は堪え難い"が導かれる
9. 事実2から、推論8: "「この有資格者は金融業界だということはないし加えて売却しない」ということは偽だ"が導かれる
10. 事実10と推論8から、推論9: "この有資格者は名詞文だ"が導かれる
11. 推論7と推論9から、推論10: "この有資格者は堪え難くて名詞文である"が導かれる
12. 推論10と事実9から、仮説が導かれる

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