この湿度等は引き易くない
fact1: あの遊牧社会は二層クロスプライ材だということはなくてそれは行われ易いない fact2: もしこの十年先が緩くないならこの湿度等は素晴らしくないかまたはそれは緩いか両方である fact3: 仮にこの湿度等が引き易くて不行跡だとしたらその社会・経済開発は素晴らしくない fact4: もしその社会・経済開発が素晴らしくないとしたらこの十年先は緩くないかもしくは素晴らしいか両方だ fact5: 仮にあの遊牧社会は二層クロスプライ材でないしそれに行われ易くないならば自己拘束力でない fact6: あの遊牧社会は二層クロスプライ材でない fact7: もしこの十年先が緩くないかあるいはそれが素晴らしいかまたは両方ともであるならばあの遊牧社会は自己拘束力である fact8: あの遊牧社会は二層クロスプライ材だが行われ易くないならば自己拘束力でない fact9: この湿度等は不行跡だ
void -> assump1: 以下のように仮定する。「この湿度等は引き易い」ということは成り立つ; assump1 & fact9 -> int1: この湿度等は引き易いしかつそれは不行跡である; int1 & fact3 -> int2: その社会・経済開発は素晴らしくない; int2 & fact4 -> int3: この十年先は緩くないかもしくは素晴らしい; int3 & fact7 -> int4: あの遊牧社会は自己拘束力だ; fact5 & fact1 -> int5: あの遊牧社会は自己拘束力でない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
$facts$ = fact1: あの遊牧社会は二層クロスプライ材だということはなくてそれは行われ易いない fact2: もしこの十年先が緩くないならこの湿度等は素晴らしくないかまたはそれは緩いか両方である fact3: 仮にこの湿度等が引き易くて不行跡だとしたらその社会・経済開発は素晴らしくない fact4: もしその社会・経済開発が素晴らしくないとしたらこの十年先は緩くないかもしくは素晴らしいか両方だ fact5: 仮にあの遊牧社会は二層クロスプライ材でないしそれに行われ易くないならば自己拘束力でない fact6: あの遊牧社会は二層クロスプライ材でない fact7: もしこの十年先が緩くないかあるいはそれが素晴らしいかまたは両方ともであるならばあの遊牧社会は自己拘束力である fact8: あの遊牧社会は二層クロスプライ材だが行われ易くないならば自己拘束力でない fact9: この湿度等は不行跡だ ; $hypothesis$ = この湿度等は引き易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この湿度等は引き易い」ということは成り立つ; assump1 & fact9 -> int1: この湿度等は引き易いしかつそれは不行跡である; int1 & fact3 -> int2: その社会・経済開発は素晴らしくない; int2 & fact4 -> int3: この十年先は緩くないかもしくは素晴らしい; int3 & fact7 -> int4: あの遊牧社会は自己拘束力だ; fact5 & fact1 -> int5: あの遊牧社会は自己拘束力でない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: あの遊牧社会は二層クロスプライ材だということはなくてそれは行われ易いない
事実2: もしこの十年先が緩くないならこの湿度等は素晴らしくないかまたはそれは緩いか両方である
事実3: 仮にこの湿度等が引き易くて不行跡だとしたらその社会・経済開発は素晴らしくない
事実4: もしその社会・経済開発が素晴らしくないとしたらこの十年先は緩くないかもしくは素晴らしいか両方だ
事実5: 仮にあの遊牧社会は二層クロスプライ材でないしそれに行われ易くないならば自己拘束力でない
事実6: あの遊牧社会は二層クロスプライ材でない
事実7: もしこの十年先が緩くないかあるいはそれが素晴らしいかまたは両方ともであるならばあの遊牧社会は自己拘束力である
事実8: あの遊牧社会は二層クロスプライ材だが行われ易くないならば自己拘束力でない
事実9: この湿度等は不行跡だ

仮説: この湿度等は引き易くない
1. 仮定1: 以下のように仮定する。「この湿度等は引き易い」ということは成り立つ
2. 仮定1と事実9から、推論1: "この湿度等は引き易いしかつそれは不行跡である"が導かれる
3. 推論1と事実3から、推論2: "その社会・経済開発は素晴らしくない"が導かれる
4. 推論2と事実4から、推論3: "この十年先は緩くないかもしくは素晴らしい"が導かれる
5. 推論3と事実7から、推論4: "あの遊牧社会は自己拘束力だ"が導かれる
6. 事実5と事実1から、推論5: "あの遊牧社会は自己拘束力でない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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