その開墾は犯し易くない
fact1: もしも「その稲架は青臭いけれど犯し易いということはない」ということは嘘だとすればその開墾は犯し易い fact2: もしその開墾は犯し易くて麗々しいとしたらそれは青臭くない fact3: その稲架は出生証明書だとしたら「未練はましくらなくてその上怖ーい」ということは誤りである fact4: もしもあの法律効果がどす黒いならばその稲架は麗々しいということはない fact5: 「その開墾は十二曲でないがしかしそれは根気強い」ということは成り立つということはない fact6: もしもあの旧建物は弔慰金であるとすれば「あの砂層は燃え続けない」ということは正しい fact7: もし仮に何らかのものが握手するとしたらあの自動ノンブルは再仕上げするということはない fact8: その開墾は麗々しい fact9: その稲架は中小企業退職金共済法である fact10: 黄色っぽくないものは学校評価だし握手する fact11: もし仮になにがしかの物は麗々しくないとすれば「それは青臭いししかもそれは犯し易くない」ということは嘘である fact12: 仮にその稲架は中小企業退職金共済法なら「それは少年法改正でないが弔慰金である」ということは間違いである fact13: あの砂層が燃え続けないとするとあの法律効果はどす黒いかもしくは未練がましいかまたはどちらもだ fact14: もしその稲架が弔慰金でないとすればどす黒くないけど燃え続ける fact15: とあるものは青臭くないなら「それはどす黒いしさらに未練がましい」ということは事実でない fact16: もし仮に「再仕上げしない」物はあるとすれば「この体毛は再仕上げするがしかし得易いということはない」ということは正しくない fact17: もし仮に「なにがしかの物は再仕上げするけどそれは得易くない」ということは成り立たないとしたらそれは中小企業退職金共済法でない fact18: その開墾が燃え続けないならばその稲架は少年法改正でない一方で弔慰金だ fact19: このビンタン島は黄色っぽくない fact20: 青臭くない物は犯し易いしおまけに麗々しい fact21: 仮にこの体毛が中小企業退職金共済法でないならばあの旧建物は弔慰金であるし少年法改正である fact22: もし仮に「なんらかの物はどす黒くてそれは未練がましい」ということは成り立たないなら「燃え続けない」ということは成り立つ fact23: もし仮にその開墾が青臭いけど未練がましくらないとすればあの爻は青臭くない
void -> assump1: 以下のように仮定する。その開墾は犯し易い; assump1 & fact8 -> int1: 「その開墾は犯し易くてそれは麗々しい」ということは真実だ; int1 & fact2 -> int2: その開墾は青臭いということはない; fact15 -> int3: その開墾は青臭くないならば「それはどす黒いし未練がましい」ということは確かでない; int2 & int3 -> int4: 「その開墾はどす黒くて未練がましい」ということは成り立たない; fact22 -> int5: 仮に「その開墾はどす黒くて加えて未練がましい」ということは嘘だとしたらそれは燃え続けない; int4 & int5 -> int6: その開墾は燃え続けない; int6 & fact18 -> int7: その稲架は少年法改正でないがしかし弔慰金だ; fact9 & fact12 -> int8: 「その稲架は少年法改正でないけれど弔慰金である」ということは偽である; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その爻は犯し易い
fact26 -> int10: もしも「その爻は青臭くない」ということは成り立つとしたら犯し易いしそれは麗々しい;
$facts$ = fact1: もしも「その稲架は青臭いけれど犯し易いということはない」ということは嘘だとすればその開墾は犯し易い fact2: もしその開墾は犯し易くて麗々しいとしたらそれは青臭くない fact3: その稲架は出生証明書だとしたら「未練はましくらなくてその上怖ーい」ということは誤りである fact4: もしもあの法律効果がどす黒いならばその稲架は麗々しいということはない fact5: 「その開墾は十二曲でないがしかしそれは根気強い」ということは成り立つということはない fact6: もしもあの旧建物は弔慰金であるとすれば「あの砂層は燃え続けない」ということは正しい fact7: もし仮に何らかのものが握手するとしたらあの自動ノンブルは再仕上げするということはない fact8: その開墾は麗々しい fact9: その稲架は中小企業退職金共済法である fact10: 黄色っぽくないものは学校評価だし握手する fact11: もし仮になにがしかの物は麗々しくないとすれば「それは青臭いししかもそれは犯し易くない」ということは嘘である fact12: 仮にその稲架は中小企業退職金共済法なら「それは少年法改正でないが弔慰金である」ということは間違いである fact13: あの砂層が燃え続けないとするとあの法律効果はどす黒いかもしくは未練がましいかまたはどちらもだ fact14: もしその稲架が弔慰金でないとすればどす黒くないけど燃え続ける fact15: とあるものは青臭くないなら「それはどす黒いしさらに未練がましい」ということは事実でない fact16: もし仮に「再仕上げしない」物はあるとすれば「この体毛は再仕上げするがしかし得易いということはない」ということは正しくない fact17: もし仮に「なにがしかの物は再仕上げするけどそれは得易くない」ということは成り立たないとしたらそれは中小企業退職金共済法でない fact18: その開墾が燃え続けないならばその稲架は少年法改正でない一方で弔慰金だ fact19: このビンタン島は黄色っぽくない fact20: 青臭くない物は犯し易いしおまけに麗々しい fact21: 仮にこの体毛が中小企業退職金共済法でないならばあの旧建物は弔慰金であるし少年法改正である fact22: もし仮に「なんらかの物はどす黒くてそれは未練がましい」ということは成り立たないなら「燃え続けない」ということは成り立つ fact23: もし仮にその開墾が青臭いけど未練がましくらないとすればあの爻は青臭くない ; $hypothesis$ = その開墾は犯し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その開墾は犯し易い; assump1 & fact8 -> int1: 「その開墾は犯し易くてそれは麗々しい」ということは真実だ; int1 & fact2 -> int2: その開墾は青臭いということはない; fact15 -> int3: その開墾は青臭くないならば「それはどす黒いし未練がましい」ということは確かでない; int2 & int3 -> int4: 「その開墾はどす黒くて未練がましい」ということは成り立たない; fact22 -> int5: 仮に「その開墾はどす黒くて加えて未練がましい」ということは嘘だとしたらそれは燃え続けない; int4 & int5 -> int6: その開墾は燃え続けない; int6 & fact18 -> int7: その稲架は少年法改正でないがしかし弔慰金だ; fact9 & fact12 -> int8: 「その稲架は少年法改正でないけれど弔慰金である」ということは偽である; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしも「その稲架は青臭いけれど犯し易いということはない」ということは嘘だとすればその開墾は犯し易い
事実2: もしその開墾は犯し易くて麗々しいとしたらそれは青臭くない
事実3: その稲架は出生証明書だとしたら「未練はましくらなくてその上怖ーい」ということは誤りである
事実4: もしもあの法律効果がどす黒いならばその稲架は麗々しいということはない
事実5: 「その開墾は十二曲でないがしかしそれは根気強い」ということは成り立つということはない
事実6: もしもあの旧建物は弔慰金であるとすれば「あの砂層は燃え続けない」ということは正しい
事実7: もし仮に何らかのものが握手するとしたらあの自動ノンブルは再仕上げするということはない
事実8: その開墾は麗々しい
事実9: その稲架は中小企業退職金共済法である
事実10: 黄色っぽくないものは学校評価だし握手する
事実11: もし仮になにがしかの物は麗々しくないとすれば「それは青臭いししかもそれは犯し易くない」ということは嘘である
事実12: 仮にその稲架は中小企業退職金共済法なら「それは少年法改正でないが弔慰金である」ということは間違いである
事実13: あの砂層が燃え続けないとするとあの法律効果はどす黒いかもしくは未練がましいかまたはどちらもだ
事実14: もしその稲架が弔慰金でないとすればどす黒くないけど燃え続ける
事実15: とあるものは青臭くないなら「それはどす黒いしさらに未練がましい」ということは事実でない
事実16: もし仮に「再仕上げしない」物はあるとすれば「この体毛は再仕上げするがしかし得易いということはない」ということは正しくない
事実17: もし仮に「なにがしかの物は再仕上げするけどそれは得易くない」ということは成り立たないとしたらそれは中小企業退職金共済法でない
事実18: その開墾が燃え続けないならばその稲架は少年法改正でない一方で弔慰金だ
事実19: このビンタン島は黄色っぽくない
事実20: 青臭くない物は犯し易いしおまけに麗々しい
事実21: 仮にこの体毛が中小企業退職金共済法でないならばあの旧建物は弔慰金であるし少年法改正である
事実22: もし仮に「なんらかの物はどす黒くてそれは未練がましい」ということは成り立たないなら「燃え続けない」ということは成り立つ
事実23: もし仮にその開墾が青臭いけど未練がましくらないとすればあの爻は青臭くない

仮説: その開墾は犯し易くない
1. 仮定1: 以下のように仮定する。その開墾は犯し易い
2. 仮定1と事実8から、推論1: "「その開墾は犯し易くてそれは麗々しい」ということは真実だ"が導かれる
3. 推論1と事実2から、推論2: "その開墾は青臭いということはない"が導かれる
4. 事実15から、推論3: "その開墾は青臭くないならば「それはどす黒いし未練がましい」ということは確かでない"が導かれる
5. 推論2と推論3から、推論4: "「その開墾はどす黒くて未練がましい」ということは成り立たない"が導かれる
6. 事実22から、推論5: "仮に「その開墾はどす黒くて加えて未練がましい」ということは嘘だとしたらそれは燃え続けない"が導かれる
7. 推論4と推論5から、推論6: "その開墾は燃え続けない"が導かれる
8. 推論6と事実18から、推論7: "その稲架は少年法改正でないがしかし弔慰金だ"が導かれる
9. 事実9と事実12から、推論8: "「その稲架は少年法改正でないけれど弔慰金である」ということは偽である"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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