「あの証券等は運び易い」ということは嘘でない
fact1: 仮に「ある物は甲高い一方でそれは与し易くない」ということは間違っているとしたらそれは運び易くない fact2: 与し易いということはないものは運び易いしその上甲高い fact3: あの証券等は監査委員会メンバーでなくてその上説き付けない fact4: もし仮にあの証券等は構成し直せば「あの筋違見附は甲高いけれど与し易くない」ということは成り立たない fact5: もしあの証券等は監査委員会メンバーでないし説き付けないとすると運び易くない
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
あの筋違見附は運び易いということはない
fact7 -> int1: 仮に「あの筋違見附は甲高いが与し易くない」ということは間違いなら運び易くない;
$facts$ = fact1: 仮に「ある物は甲高い一方でそれは与し易くない」ということは間違っているとしたらそれは運び易くない fact2: 与し易いということはないものは運び易いしその上甲高い fact3: あの証券等は監査委員会メンバーでなくてその上説き付けない fact4: もし仮にあの証券等は構成し直せば「あの筋違見附は甲高いけれど与し易くない」ということは成り立たない fact5: もしあの証券等は監査委員会メンバーでないし説き付けないとすると運び易くない ; $hypothesis$ = 「あの証券等は運び易い」ということは嘘でない ; $proof$ = 
fact5 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮に「ある物は甲高い一方でそれは与し易くない」ということは間違っているとしたらそれは運び易くない
事実2: 与し易いということはないものは運び易いしその上甲高い
事実3: あの証券等は監査委員会メンバーでなくてその上説き付けない
事実4: もし仮にあの証券等は構成し直せば「あの筋違見附は甲高いけれど与し易くない」ということは成り立たない
事実5: もしあの証券等は監査委員会メンバーでないし説き付けないとすると運び易くない

仮説: 「あの証券等は運び易い」ということは嘘でない
1. 事実5と事実3から、仮説が否定される

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