この荘園公領制は喪失する
fact1: もし仮に「誤り無い」ものがあるならこの荘園公領制は喪失するということはない fact2: あの葉菜類は民族誌でない fact3: あの葉菜類は塗り易い fact4: もし「あの葉菜類は塗り易い」ということは間違いであるということはないならあの正像は誤り無い
fact4 & fact3 -> int1: あの正像は誤り無い; int1 -> int2: 何かは誤り無い; int2 & fact1 -> hypothesis;
fact4 & fact3 -> int1: {B}{b}; int1 -> int2: (Ex): {B}x; int2 & fact1 -> hypothesis;
この荘園公領制は喪失する
fact5 -> int3: 「民族誌でない」ものはある;
$facts$ = fact1: もし仮に「誤り無い」ものがあるならこの荘園公領制は喪失するということはない fact2: あの葉菜類は民族誌でない fact3: あの葉菜類は塗り易い fact4: もし「あの葉菜類は塗り易い」ということは間違いであるということはないならあの正像は誤り無い ; $hypothesis$ = この荘園公領制は喪失する ; $proof$ = 
fact4 & fact3 -> int1: あの正像は誤り無い; int1 -> int2: 何かは誤り無い; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「誤り無い」ものがあるならこの荘園公領制は喪失するということはない
事実2: あの葉菜類は民族誌でない
事実3: あの葉菜類は塗り易い
事実4: もし「あの葉菜類は塗り易い」ということは間違いであるということはないならあの正像は誤り無い

仮説: この荘園公領制は喪失する
1. 事実4と事実3から、推論1: "あの正像は誤り無い"が導かれる
2. 推論1から、推論2: "何かは誤り無い"が導かれる
3. 推論2と事実1から、仮説が否定される

よって、仮説が否定されました。