もしこのハーフタイムが総点検だということはないとすれば艶っぽくない
fact1: もしもなにかは総点検でないならばそれは艶っぽくない
$facts$ = fact1: もしもなにかは総点検でないならばそれは艶っぽくない ; $hypothesis$ = もしこのハーフタイムが総点検だということはないとすれば艶っぽくない ; $proof$ = 
事実1: もしもなにかは総点検でないならばそれは艶っぽくない

仮説: もしこのハーフタイムが総点検だということはないとすれば艶っぽくない