もし仮にこの空力中心が締めっぽくないなら全習法だということはない
fact1: 締めっぽくない物は全習法でない
$facts$ = fact1: 締めっぽくない物は全習法でない ; $hypothesis$ = もし仮にこの空力中心が締めっぽくないなら全習法だということはない ; $proof$ = 
事実1: 締めっぽくない物は全習法でない

仮説: もし仮にこの空力中心が締めっぽくないなら全習法だということはない