もし「「その狭隘は退会する一方でそれは設備図でない」ということは本当である」ということは間違いであるならうざいということはない
fact1: もし仮に「あるものは退会する一方で設備図でない」ということは誤っているとしたらそれはうざくない
$facts$ = fact1: もし仮に「あるものは退会する一方で設備図でない」ということは誤っているとしたらそれはうざくない ; $hypothesis$ = もし「「その狭隘は退会する一方でそれは設備図でない」ということは本当である」ということは間違いであるならうざいということはない ; $proof$ = 
事実1: もし仮に「あるものは退会する一方で設備図でない」ということは誤っているとしたらそれはうざくない

仮説: もし「「その狭隘は退会する一方でそれは設備図でない」ということは本当である」ということは間違いであるならうざいということはない