「「もし仮に「共有設定しないかあるいは坂本ケーブルであるかまたは両方だ」ということは本当でないとしたらスピンしない」物はある」ということは嘘だ
fact1: もしも「あの小貫通孔は共有設定しないかあるいは坂本ケーブルであるか両方ともである」ということは誤りだとすればそれはスピンしない
$facts$ = fact1: もしも「あの小貫通孔は共有設定しないかあるいは坂本ケーブルであるか両方ともである」ということは誤りだとすればそれはスピンしない ; $hypothesis$ = 「「もし仮に「共有設定しないかあるいは坂本ケーブルであるかまたは両方だ」ということは本当でないとしたらスピンしない」物はある」ということは嘘だ ; $proof$ = 
事実1: もしも「あの小貫通孔は共有設定しないかあるいは坂本ケーブルであるか両方ともである」ということは誤りだとすればそれはスピンしない

仮説: 「「もし仮に「共有設定しないかあるいは坂本ケーブルであるかまたは両方だ」ということは本当でないとしたらスピンしない」物はある」ということは嘘だ