あの差し替えは乗り始めない
fact1: 「「あの差し替えは見苦しいしかつ持ち易い」ということは成り立つ」ということは本当でない fact2: 仮に「あの差し替えは見苦しいしまたそれは持ち易い」ということは偽だとするとそれは乗り始めない
$facts$ = fact1: 「「あの差し替えは見苦しいしかつ持ち易い」ということは成り立つ」ということは本当でない fact2: 仮に「あの差し替えは見苦しいしまたそれは持ち易い」ということは偽だとするとそれは乗り始めない ; $hypothesis$ = あの差し替えは乗り始めない ; $proof$ = 
事実1: 「「あの差し替えは見苦しいしかつ持ち易い」ということは成り立つ」ということは本当でない
事実2: 仮に「あの差し替えは見苦しいしまたそれは持ち易い」ということは偽だとするとそれは乗り始めない

仮説: あの差し替えは乗り始めない