あの君主達は貸与するということはない
fact1: 仮になんらかの物が東南海地震であるということはないかあるいはそれが粗くないとするとそれは其れらしい fact2: なんらかの物は作業し易い fact3: 「「作業し易い」ということは事実な」ものがあるとしたらあの君主達は東南海地震でないかそれは粗くないか両方である fact4: 其れらしい物は貸与する
fact2 & fact3 -> int1: あの君主達は東南海地震でないかそれは粗くない; fact1 -> int2: もしあの君主達が東南海地震でないかあるいはそれは粗くないかまたは両方であるならそれは其れらしい; int1 & int2 -> int3: あの君主達は其れらしい; fact4 -> int4: もしもあの君主達が其れらしいなら貸与する; int3 & int4 -> hypothesis;
fact2 & fact3 -> int1: (¬{B}{a} v ¬{C}{a}); fact1 -> int2: (¬{B}{a} v ¬{C}{a}) -> {D}{a}; int1 & int2 -> int3: {D}{a}; fact4 -> int4: {D}{a} -> {E}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: 仮になんらかの物が東南海地震であるということはないかあるいはそれが粗くないとするとそれは其れらしい fact2: なんらかの物は作業し易い fact3: 「「作業し易い」ということは事実な」ものがあるとしたらあの君主達は東南海地震でないかそれは粗くないか両方である fact4: 其れらしい物は貸与する ; $hypothesis$ = あの君主達は貸与するということはない ; $proof$ = 
fact2 & fact3 -> int1: あの君主達は東南海地震でないかそれは粗くない; fact1 -> int2: もしあの君主達が東南海地震でないかあるいはそれは粗くないかまたは両方であるならそれは其れらしい; int1 & int2 -> int3: あの君主達は其れらしい; fact4 -> int4: もしもあの君主達が其れらしいなら貸与する; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物が東南海地震であるということはないかあるいはそれが粗くないとするとそれは其れらしい
事実2: なんらかの物は作業し易い
事実3: 「「作業し易い」ということは事実な」ものがあるとしたらあの君主達は東南海地震でないかそれは粗くないか両方である
事実4: 其れらしい物は貸与する

仮説: あの君主達は貸与するということはない
1. 事実2と事実3から、推論1: "あの君主達は東南海地震でないかそれは粗くない"が導かれる
2. 事実1から、推論2: "もしあの君主達が東南海地震でないかあるいはそれは粗くないかまたは両方であるならそれは其れらしい"が導かれる
3. 推論1と推論2から、推論3: "あの君主達は其れらしい"が導かれる
4. 事実4から、推論4: "もしもあの君主達が其れらしいなら貸与する"が導かれる
5. 推論3と推論4から、仮説が否定される

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