この日本的価値観は汚れ易くない
fact1: もしこの日本的価値観は尊者で汚れ易いとすれば「人力底引き追い込み網採集でない」ということは事実だ fact2: もし仮にあの注進が言い辛くないかまたはそれがアクセスしないなら古しない fact3: あの注進は言い辛くないかまたはアクセスするかどちらもである fact4: あの注進は言い辛いかまたは汚れ易くない fact5: もしもその社会科学研究会が古しないならばあの注進はちょろくてそれにそれは汚れ易い fact6: もしあの注進が汚れ易いとするとこの日本的価値観は汚れ易い fact7: この日本的価値観は人力底引き追い込み網採集だ fact8: あの注進は言い辛くないかアクセスしないかまたはどちらもだ fact9: その社会科学研究会は言い辛くない fact10: 仮にあの注進は古しないとすると「その社会科学研究会はちょろくないけど古し」ということは成り立たない fact11: もし「その社会科学研究会はちょろくないけど古し」ということは誤っていればこの日本的価値観は尊者である
fact2 & fact8 -> int1: あの注進は古しない; int1 & fact10 -> int2: 「「その社会科学研究会はちょろくないけど古し」ということは成り立たない」ということは真実だ; int2 & fact11 -> int3: この日本的価値観は尊者である; void -> assump1: 以下のように仮定する。この日本的価値観は汚れ易い; int3 & assump1 -> int4: この日本的価値観は尊者でその上それは汚れ易い; int4 & fact1 -> int5: この日本的価値観は人力底引き追い込み網採集でない; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この日本的価値観は汚れ易い
$facts$ = fact1: もしこの日本的価値観は尊者で汚れ易いとすれば「人力底引き追い込み網採集でない」ということは事実だ fact2: もし仮にあの注進が言い辛くないかまたはそれがアクセスしないなら古しない fact3: あの注進は言い辛くないかまたはアクセスするかどちらもである fact4: あの注進は言い辛いかまたは汚れ易くない fact5: もしもその社会科学研究会が古しないならばあの注進はちょろくてそれにそれは汚れ易い fact6: もしあの注進が汚れ易いとするとこの日本的価値観は汚れ易い fact7: この日本的価値観は人力底引き追い込み網採集だ fact8: あの注進は言い辛くないかアクセスしないかまたはどちらもだ fact9: その社会科学研究会は言い辛くない fact10: 仮にあの注進は古しないとすると「その社会科学研究会はちょろくないけど古し」ということは成り立たない fact11: もし「その社会科学研究会はちょろくないけど古し」ということは誤っていればこの日本的価値観は尊者である ; $hypothesis$ = この日本的価値観は汚れ易くない ; $proof$ = 
fact2 & fact8 -> int1: あの注進は古しない; int1 & fact10 -> int2: 「「その社会科学研究会はちょろくないけど古し」ということは成り立たない」ということは真実だ; int2 & fact11 -> int3: この日本的価値観は尊者である; void -> assump1: 以下のように仮定する。この日本的価値観は汚れ易い; int3 & assump1 -> int4: この日本的価値観は尊者でその上それは汚れ易い; int4 & fact1 -> int5: この日本的価値観は人力底引き追い込み網採集でない; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしこの日本的価値観は尊者で汚れ易いとすれば「人力底引き追い込み網採集でない」ということは事実だ
事実2: もし仮にあの注進が言い辛くないかまたはそれがアクセスしないなら古しない
事実3: あの注進は言い辛くないかまたはアクセスするかどちらもである
事実4: あの注進は言い辛いかまたは汚れ易くない
事実5: もしもその社会科学研究会が古しないならばあの注進はちょろくてそれにそれは汚れ易い
事実6: もしあの注進が汚れ易いとするとこの日本的価値観は汚れ易い
事実7: この日本的価値観は人力底引き追い込み網採集だ
事実8: あの注進は言い辛くないかアクセスしないかまたはどちらもだ
事実9: その社会科学研究会は言い辛くない
事実10: 仮にあの注進は古しないとすると「その社会科学研究会はちょろくないけど古し」ということは成り立たない
事実11: もし「その社会科学研究会はちょろくないけど古し」ということは誤っていればこの日本的価値観は尊者である

仮説: この日本的価値観は汚れ易くない
1. 事実2と事実8から、推論1: "あの注進は古しない"が導かれる
2. 推論1と事実10から、推論2: "「「その社会科学研究会はちょろくないけど古し」ということは成り立たない」ということは真実だ"が導かれる
3. 推論2と事実11から、推論3: "この日本的価値観は尊者である"が導かれる
4. 仮定1: 以下のように仮定する。この日本的価値観は汚れ易い
5. 推論3と仮定1から、推論4: "この日本的価値観は尊者でその上それは汚れ易い"が導かれる
6. 推論4と事実1から、推論5: "この日本的価値観は人力底引き追い込み網採集でない"が導かれる
7. 推論5と事実7から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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