「「もしも「エアロックだけれど迷い易くない」ということは間違いであるとすると間断無い」物はある」ということは誤っている
fact1: 「もしも「あの各所はエアロックだ一方で迷い易くない」ということは誤っているとしたらあの各所は間断無い」ということは確かである
$facts$ = fact1: 「もしも「あの各所はエアロックだ一方で迷い易くない」ということは誤っているとしたらあの各所は間断無い」ということは確かである ; $hypothesis$ = 「「もしも「エアロックだけれど迷い易くない」ということは間違いであるとすると間断無い」物はある」ということは誤っている ; $proof$ = 
事実1: 「もしも「あの各所はエアロックだ一方で迷い易くない」ということは誤っているとしたらあの各所は間断無い」ということは確かである

仮説: 「「もしも「エアロックだけれど迷い易くない」ということは間違いであるとすると間断無い」物はある」ということは誤っている