この知的教育は欠かさない一方でそれは薄汚い
fact1: もしも「なんらかのものは感じ難いということはないかあるいは高域であるかまたは両方である」ということは事実と異なるなら易し fact2: この八百形は一日単位でない fact3: もしもあの励起は混入し易くないとすればそれは高域でない fact4: もしこの知的教育が易しないとするとこの八百形は易しないが一日単位である fact5: もしとあるものは易しないとしたら「それは欠かさないけれど薄汚い」ということは誤りである fact6: この知的教育は付着し易くて更に易し fact7: もしも「何らかの物は感じ難いかもしくは高域であるかあるいは両方である」ということは間違っているとしたらそれは易し fact8: 「この八百形は見失い掛ける」ということは本当だ fact9: もし仮にこの八百形が欠かさないとしたらこの知的教育は欠かさないが薄汚い fact10: もしこの八百形が感じ難くないかそれは高域であるならば見失い掛けない fact11: もしも易し物が迷い易いならば欠かさない fact12: この八百形は第一流でないかもしくはゴッドファーザーであるかまたはどちらもだ fact13: この八百形は薄汚くない fact14: この八百形は得られ難い fact15: もし仮にこの知的教育が讒言しないならばそれは薄汚くない fact16: もしもこの八百形は一日単位でないとしたら第一流であるし迷い易い fact17: もし「この知的教育は欠かすかもしくは高域であるか両方である」ということは成り立たないなら易し
void -> assump1: 以下のように仮定する。この八百形は感じ難くないかもしくはそれは高域であるかまたはどちらもである; fact10 & assump1 -> int1: 「この八百形は見失い掛けるということはない」ということは成り立つ; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「この八百形は感じ難くないかあるいは高域であるかあるいはどちらもだ」ということは事実と異なる」ということは成り立つ; fact1 -> int4: もしも「この八百形は感じ難くないかあるいは高域であるかまたは両方ともだ」ということは成り立たないとすると易し; int3 & int4 -> int5: この八百形は易し; fact16 & fact2 -> int6: この八百形は第一流であるし迷い易い; int6 -> int7: この八百形は迷い易い; int5 & int7 -> int8: この八百形は易しししかも迷い易い; fact11 -> int9: この八百形は易しし迷い易いとすると欠かさない; int8 & int9 -> int10: この八百形は欠かさない; int10 & fact9 -> hypothesis;
「この知的教育は欠かさない一方で薄汚い」ということは誤りだ
fact18 -> int11: この知的教育は易しということはないとすれば「それは欠かさなくてかつそれは薄汚い」ということは成り立たない;
$facts$ = fact1: もしも「なんらかのものは感じ難いということはないかあるいは高域であるかまたは両方である」ということは事実と異なるなら易し fact2: この八百形は一日単位でない fact3: もしもあの励起は混入し易くないとすればそれは高域でない fact4: もしこの知的教育が易しないとするとこの八百形は易しないが一日単位である fact5: もしとあるものは易しないとしたら「それは欠かさないけれど薄汚い」ということは誤りである fact6: この知的教育は付着し易くて更に易し fact7: もしも「何らかの物は感じ難いかもしくは高域であるかあるいは両方である」ということは間違っているとしたらそれは易し fact8: 「この八百形は見失い掛ける」ということは本当だ fact9: もし仮にこの八百形が欠かさないとしたらこの知的教育は欠かさないが薄汚い fact10: もしこの八百形が感じ難くないかそれは高域であるならば見失い掛けない fact11: もしも易し物が迷い易いならば欠かさない fact12: この八百形は第一流でないかもしくはゴッドファーザーであるかまたはどちらもだ fact13: この八百形は薄汚くない fact14: この八百形は得られ難い fact15: もし仮にこの知的教育が讒言しないならばそれは薄汚くない fact16: もしもこの八百形は一日単位でないとしたら第一流であるし迷い易い fact17: もし「この知的教育は欠かすかもしくは高域であるか両方である」ということは成り立たないなら易し ; $hypothesis$ = この知的教育は欠かさない一方でそれは薄汚い ; $proof$ = 
void -> assump1: 以下のように仮定する。この八百形は感じ難くないかもしくはそれは高域であるかまたはどちらもである; fact10 & assump1 -> int1: 「この八百形は見失い掛けるということはない」ということは成り立つ; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「この八百形は感じ難くないかあるいは高域であるかあるいはどちらもだ」ということは事実と異なる」ということは成り立つ; fact1 -> int4: もしも「この八百形は感じ難くないかあるいは高域であるかまたは両方ともだ」ということは成り立たないとすると易し; int3 & int4 -> int5: この八百形は易し; fact16 & fact2 -> int6: この八百形は第一流であるし迷い易い; int6 -> int7: この八百形は迷い易い; int5 & int7 -> int8: この八百形は易しししかも迷い易い; fact11 -> int9: この八百形は易しし迷い易いとすると欠かさない; int8 & int9 -> int10: この八百形は欠かさない; int10 & fact9 -> hypothesis; __PROVED__
事実1: もしも「なんらかのものは感じ難いということはないかあるいは高域であるかまたは両方である」ということは事実と異なるなら易し
事実2: この八百形は一日単位でない
事実3: もしもあの励起は混入し易くないとすればそれは高域でない
事実4: もしこの知的教育が易しないとするとこの八百形は易しないが一日単位である
事実5: もしとあるものは易しないとしたら「それは欠かさないけれど薄汚い」ということは誤りである
事実6: この知的教育は付着し易くて更に易し
事実7: もしも「何らかの物は感じ難いかもしくは高域であるかあるいは両方である」ということは間違っているとしたらそれは易し
事実8: 「この八百形は見失い掛ける」ということは本当だ
事実9: もし仮にこの八百形が欠かさないとしたらこの知的教育は欠かさないが薄汚い
事実10: もしこの八百形が感じ難くないかそれは高域であるならば見失い掛けない
事実11: もしも易し物が迷い易いならば欠かさない
事実12: この八百形は第一流でないかもしくはゴッドファーザーであるかまたはどちらもだ
事実13: この八百形は薄汚くない
事実14: この八百形は得られ難い
事実15: もし仮にこの知的教育が讒言しないならばそれは薄汚くない
事実16: もしもこの八百形は一日単位でないとしたら第一流であるし迷い易い
事実17: もし「この知的教育は欠かすかもしくは高域であるか両方である」ということは成り立たないなら易し

仮説: この知的教育は欠かさない一方でそれは薄汚い
1. 仮定1: 以下のように仮定する。この八百形は感じ難くないかもしくはそれは高域であるかまたはどちらもである
2. 事実10と仮定1から、推論1: "「この八百形は見失い掛けるということはない」ということは成り立つ"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「「この八百形は感じ難くないかあるいは高域であるかあるいはどちらもだ」ということは事実と異なる」ということは成り立つ"が導かれる
5. 事実1から、推論4: "もしも「この八百形は感じ難くないかあるいは高域であるかまたは両方ともだ」ということは成り立たないとすると易し"が導かれる
6. 推論3と推論4から、推論5: "この八百形は易し"が導かれる
7. 事実16と事実2から、推論6: "この八百形は第一流であるし迷い易い"が導かれる
8. 推論6から、推論7: "この八百形は迷い易い"が導かれる
9. 推論5と推論7から、推論8: "この八百形は易しししかも迷い易い"が導かれる
10. 事実11から、推論9: "この八百形は易しし迷い易いとすると欠かさない"が導かれる
11. 推論8と推論9から、推論10: "この八百形は欠かさない"が導かれる
12. 推論10と事実9から、仮説が導かれる

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