「その薄目は近しくないかもしくは使い難くないかまたは両方だ」ということは偽である
fact1: もしもなにがしかの物は発送しないとすると「それは近しくないかそれは使い難くないかどちらもである」ということは成り立たない fact2: その薄目は使い難いか生産的歳出でないかあるいはどちらもだ fact3: その薄目は近しくないかまたはそれは使い難いかまたは両方である fact4: その薄目は近しいかあるいは使い難いということはないかもしくは両方だ fact5: あのロマネスク様式は近しくない fact6: もし仮になにかは近しいとするとそれは使い難くないかあるいは寒々しかないかあるいは両方である fact7: その薄目は使い難くない
fact7 -> hypothesis;
fact7 -> hypothesis;
その薄目は使い難くないかまたはそれは寒々しいということはない
fact8 -> int1: 仮にその薄目が近しいならそれは使い難くないかもしくはそれは寒々しかないかどちらもだ;
$facts$ = fact1: もしもなにがしかの物は発送しないとすると「それは近しくないかそれは使い難くないかどちらもである」ということは成り立たない fact2: その薄目は使い難いか生産的歳出でないかあるいはどちらもだ fact3: その薄目は近しくないかまたはそれは使い難いかまたは両方である fact4: その薄目は近しいかあるいは使い難いということはないかもしくは両方だ fact5: あのロマネスク様式は近しくない fact6: もし仮になにかは近しいとするとそれは使い難くないかあるいは寒々しかないかあるいは両方である fact7: その薄目は使い難くない ; $hypothesis$ = 「その薄目は近しくないかもしくは使い難くないかまたは両方だ」ということは偽である ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物は発送しないとすると「それは近しくないかそれは使い難くないかどちらもである」ということは成り立たない
事実2: その薄目は使い難いか生産的歳出でないかあるいはどちらもだ
事実3: その薄目は近しくないかまたはそれは使い難いかまたは両方である
事実4: その薄目は近しいかあるいは使い難いということはないかもしくは両方だ
事実5: あのロマネスク様式は近しくない
事実6: もし仮になにかは近しいとするとそれは使い難くないかあるいは寒々しかないかあるいは両方である
事実7: その薄目は使い難くない

仮説: 「その薄目は近しくないかもしくは使い難くないかまたは両方だ」ということは偽である
1. 事実7から、仮説が否定される

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