「「もし仮にＥＵレベルでないなら「通りがからなくてまた刮ぐない」ということは成り立たない」ものはある」ということは成り立たない
fact1: その一味はＥＵレベルでないとしたら「通りはからないし加えて刮ぐない」ということは間違っている
$facts$ = fact1: その一味はＥＵレベルでないとしたら「通りはからないし加えて刮ぐない」ということは間違っている ; $hypothesis$ = 「「もし仮にＥＵレベルでないなら「通りがからなくてまた刮ぐない」ということは成り立たない」ものはある」ということは成り立たない ; $proof$ = 
事実1: その一味はＥＵレベルでないとしたら「通りはからないし加えて刮ぐない」ということは間違っている

仮説: 「「もし仮にＥＵレベルでないなら「通りがからなくてまた刮ぐない」ということは成り立たない」ものはある」ということは成り立たない