「もしこのディーゼルエンジンが引き攣れるということはないならこのディーゼルエンジンは映像化するけれど可笑しない」ということは誤りだ
fact1: 仮にあるものが引き攣れないならば映像化するし可笑しない
$facts$ = fact1: 仮にあるものが引き攣れないならば映像化するし可笑しない ; $hypothesis$ = 「もしこのディーゼルエンジンが引き攣れるということはないならこのディーゼルエンジンは映像化するけれど可笑しない」ということは誤りだ ; $proof$ = 
事実1: 仮にあるものが引き攣れないならば映像化するし可笑しない

仮説: 「もしこのディーゼルエンジンが引き攣れるということはないならこのディーゼルエンジンは映像化するけれど可笑しない」ということは誤りだ