「この金谷宿は御構い無いしさらにそれはアクセスし易い」ということは間違っている
fact1: もしも「この金谷宿は修正ユリウス日であるがしかしアクセスし易くない」ということは誤りであるならアクセスし易い fact2: もし仮に「この瓦礫は幅広い一方で御構い無くない」ということは間違っていれば御構い無い fact3: もしこの金谷宿が御優しいとしたら混入し易いかあるいは擬えらないかあるいは両方である fact4: なにがしかのものが混入し易いかあるいは擬えらないかあるいは両方であるとすれば御構い無い fact5: このＬＩＰは擬えるかそれは裁判するか両方だ fact6: 「とある物は御優しくない」ということは成り立てば「それは御構い無いししかもアクセスし易い」ということは成り立たない fact7: 「この金谷宿は修正ユリウス日であるがしかしアクセスし易くない」ということは成り立たない fact8: もし「この金谷宿は粗相しない」ということは事実であるとすれば長大である fact9: この金谷宿は御優しい
fact4 -> int1: この金谷宿は混入し易いかまたは擬えらないかもしくは両方ともであるとすると御構い無い; fact9 & fact3 -> int2: この金谷宿は混入し易いか擬えるということはない; int1 & int2 -> int3: この金谷宿は御構い無い; fact7 & fact1 -> int4: この金谷宿はアクセスし易い; int3 & int4 -> hypothesis;
fact4 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact9 & fact3 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact7 & fact1 -> int4: {A}{aa}; int3 & int4 -> hypothesis;
「この金谷宿は御構い無いし加えてアクセスし易い」ということは事実でない
fact10 -> int5: もし仮にこの金谷宿は御優しくないとしたら「それは御構い無くてアクセスし易い」ということは成り立たない;
$facts$ = fact1: もしも「この金谷宿は修正ユリウス日であるがしかしアクセスし易くない」ということは誤りであるならアクセスし易い fact2: もし仮に「この瓦礫は幅広い一方で御構い無くない」ということは間違っていれば御構い無い fact3: もしこの金谷宿が御優しいとしたら混入し易いかあるいは擬えらないかあるいは両方である fact4: なにがしかのものが混入し易いかあるいは擬えらないかあるいは両方であるとすれば御構い無い fact5: このＬＩＰは擬えるかそれは裁判するか両方だ fact6: 「とある物は御優しくない」ということは成り立てば「それは御構い無いししかもアクセスし易い」ということは成り立たない fact7: 「この金谷宿は修正ユリウス日であるがしかしアクセスし易くない」ということは成り立たない fact8: もし「この金谷宿は粗相しない」ということは事実であるとすれば長大である fact9: この金谷宿は御優しい ; $hypothesis$ = 「この金谷宿は御構い無いしさらにそれはアクセスし易い」ということは間違っている ; $proof$ = 
fact4 -> int1: この金谷宿は混入し易いかまたは擬えらないかもしくは両方ともであるとすると御構い無い; fact9 & fact3 -> int2: この金谷宿は混入し易いか擬えるということはない; int1 & int2 -> int3: この金谷宿は御構い無い; fact7 & fact1 -> int4: この金谷宿はアクセスし易い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしも「この金谷宿は修正ユリウス日であるがしかしアクセスし易くない」ということは誤りであるならアクセスし易い
事実2: もし仮に「この瓦礫は幅広い一方で御構い無くない」ということは間違っていれば御構い無い
事実3: もしこの金谷宿が御優しいとしたら混入し易いかあるいは擬えらないかあるいは両方である
事実4: なにがしかのものが混入し易いかあるいは擬えらないかあるいは両方であるとすれば御構い無い
事実5: このＬＩＰは擬えるかそれは裁判するか両方だ
事実6: 「とある物は御優しくない」ということは成り立てば「それは御構い無いししかもアクセスし易い」ということは成り立たない
事実7: 「この金谷宿は修正ユリウス日であるがしかしアクセスし易くない」ということは成り立たない
事実8: もし「この金谷宿は粗相しない」ということは事実であるとすれば長大である
事実9: この金谷宿は御優しい

仮説: 「この金谷宿は御構い無いしさらにそれはアクセスし易い」ということは間違っている
1. 事実4から、推論1: "この金谷宿は混入し易いかまたは擬えらないかもしくは両方ともであるとすると御構い無い"が導かれる
2. 事実9と事実3から、推論2: "この金谷宿は混入し易いか擬えるということはない"が導かれる
3. 推論1と推論2から、推論3: "この金谷宿は御構い無い"が導かれる
4. 事実7と事実1から、推論4: "この金谷宿はアクセスし易い"が導かれる
5. 推論3と推論4から、仮説が否定される

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