「このマニュファクチュアは切り裂けるがしかし赤茶けるということはない」ということは成り立つということはない
fact1: このショートブーツはこっ酷くない fact2: 仮に「このショートブーツはこっ酷くない」ということは正しいとすれば「このマニュファクチュアは切り裂けるけどそれは赤茶けない」ということは確かでない
$facts$ = fact1: このショートブーツはこっ酷くない fact2: 仮に「このショートブーツはこっ酷くない」ということは正しいとすれば「このマニュファクチュアは切り裂けるけどそれは赤茶けない」ということは確かでない ; $hypothesis$ = 「このマニュファクチュアは切り裂けるがしかし赤茶けるということはない」ということは成り立つということはない ; $proof$ = 
事実1: このショートブーツはこっ酷くない
事実2: 仮に「このショートブーツはこっ酷くない」ということは正しいとすれば「このマニュファクチュアは切り裂けるけどそれは赤茶けない」ということは確かでない

仮説: 「このマニュファクチュアは切り裂けるがしかし赤茶けるということはない」ということは成り立つということはない