「もしも「機械化しなくてそれに確実化しない」ということは成り立たないなら「野暮ったい」ということは誤りでない」ものはある
fact1: もしも「あの堅物は機械化するということはないし確実化しない」ということは間違いであるとしたら野暮ったい
$facts$ = fact1: もしも「あの堅物は機械化するということはないし確実化しない」ということは間違いであるとしたら野暮ったい ; $hypothesis$ = 「もしも「機械化しなくてそれに確実化しない」ということは成り立たないなら「野暮ったい」ということは誤りでない」ものはある ; $proof$ = 
事実1: もしも「あの堅物は機械化するということはないし確実化しない」ということは間違いであるとしたら野暮ったい

仮説: 「もしも「機械化しなくてそれに確実化しない」ということは成り立たないなら「野暮ったい」ということは誤りでない」ものはある