その陣営は出来易い
fact1: もしもその利益が近江国であるとするとその陣営は出来易くない fact2: もし仮にその陣営が刮げるない一方で破棄するとすればあの利益は破棄する fact3: その利益は刮げる fact4: その利益は刮げるかまたは出来易いかあるいはどちらもだ fact5: 仮にこの雨空は詰まり易いとすれば「この亀山朱方印は詰まり易い」ということは真実である fact6: 仮にこの亀山朱方印が詰まり易いかもしくはそれが嫌味っぽいとしたらその利益は刮げるない fact7: 「その利益は刮げるない」ということは正しいとすればあの陣営は近江国だ fact8: 近江国は出来易い fact9: その利益は出来易いかもしくはそれは近江国であるかもしくはどちらもだ fact10: その利益が近江国であるかあるいは刮げるかもしくはどちらもだとしたらその陣営は出来易くない
fact3 -> int1: その利益は近江国であるかもしくは刮げるかあるいはどちらもである; int1 & fact10 -> hypothesis;
「その利益は破棄するかもしくは出来易い」ということは事実と異ならない
$facts$ = fact1: もしもその利益が近江国であるとするとその陣営は出来易くない fact2: もし仮にその陣営が刮げるない一方で破棄するとすればあの利益は破棄する fact3: その利益は刮げる fact4: その利益は刮げるかまたは出来易いかあるいはどちらもだ fact5: 仮にこの雨空は詰まり易いとすれば「この亀山朱方印は詰まり易い」ということは真実である fact6: 仮にこの亀山朱方印が詰まり易いかもしくはそれが嫌味っぽいとしたらその利益は刮げるない fact7: 「その利益は刮げるない」ということは正しいとすればあの陣営は近江国だ fact8: 近江国は出来易い fact9: その利益は出来易いかもしくはそれは近江国であるかもしくはどちらもだ fact10: その利益が近江国であるかあるいは刮げるかもしくはどちらもだとしたらその陣営は出来易くない ; $hypothesis$ = その陣営は出来易い ; $proof$ = 
fact3 -> int1: その利益は近江国であるかもしくは刮げるかあるいはどちらもである; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: もしもその利益が近江国であるとするとその陣営は出来易くない
事実2: もし仮にその陣営が刮げるない一方で破棄するとすればあの利益は破棄する
事実3: その利益は刮げる
事実4: その利益は刮げるかまたは出来易いかあるいはどちらもだ
事実5: 仮にこの雨空は詰まり易いとすれば「この亀山朱方印は詰まり易い」ということは真実である
事実6: 仮にこの亀山朱方印が詰まり易いかもしくはそれが嫌味っぽいとしたらその利益は刮げるない
事実7: 「その利益は刮げるない」ということは正しいとすればあの陣営は近江国だ
事実8: 近江国は出来易い
事実9: その利益は出来易いかもしくはそれは近江国であるかもしくはどちらもだ
事実10: その利益が近江国であるかあるいは刮げるかもしくはどちらもだとしたらその陣営は出来易くない

仮説: その陣営は出来易い
1. 事実3から、推論1: "その利益は近江国であるかもしくは刮げるかあるいはどちらもである"が導かれる
2. 推論1と事実10から、仮説が否定される

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