「「「竦めるししかもごまかさない」ということは正しくないとすると口付けする」ものはある」ということは間違っている
fact1: 「そのハーバーハイウェイは竦めるがごまかさない」ということは成り立たないとしたら「口付けする」ということは正しい
$facts$ = fact1: 「そのハーバーハイウェイは竦めるがごまかさない」ということは成り立たないとしたら「口付けする」ということは正しい ; $hypothesis$ = 「「「竦めるししかもごまかさない」ということは正しくないとすると口付けする」ものはある」ということは間違っている ; $proof$ = 
事実1: 「そのハーバーハイウェイは竦めるがごまかさない」ということは成り立たないとしたら「口付けする」ということは正しい

仮説: 「「「竦めるししかもごまかさない」ということは正しくないとすると口付けする」ものはある」ということは間違っている