「そのコンクリート舗装が酸化し難いならそのコンクリート舗装は白波でなくてアウラでない」ということは誤りである
fact1: 酸化し難い物は白波でなくてまたアウラでない
$facts$ = fact1: 酸化し難い物は白波でなくてまたアウラでない ; $hypothesis$ = 「そのコンクリート舗装が酸化し難いならそのコンクリート舗装は白波でなくてアウラでない」ということは誤りである ; $proof$ = 
事実1: 酸化し難い物は白波でなくてまたアウラでない

仮説: 「そのコンクリート舗装が酸化し難いならそのコンクリート舗装は白波でなくてアウラでない」ということは誤りである