その雲切れは安っぽくない
fact1: 「「エラーチェックだがしかし清しない」ということは成り立たない」物はある fact2: もし仮に「「エラーチェックだし清しない」ということは誤りな」ものがあるとすればあの雲切れは安っぽくない
$facts$ = fact1: 「「エラーチェックだがしかし清しない」ということは成り立たない」物はある fact2: もし仮に「「エラーチェックだし清しない」ということは誤りな」ものがあるとすればあの雲切れは安っぽくない ; $hypothesis$ = その雲切れは安っぽくない ; $proof$ = 
事実1: 「「エラーチェックだがしかし清しない」ということは成り立たない」物はある
事実2: もし仮に「「エラーチェックだし清しない」ということは誤りな」ものがあるとすればあの雲切れは安っぽくない

仮説: その雲切れは安っぽくない