「あの両刃はアストラルであるかあるいはそれは引き上げ以外でないかまたは両方ともだ」ということは事実でない
fact1: あの両刃はアストラルであるかあるいは引き上げ以外だということはないかあるいは両方ともである
$facts$ = fact1: あの両刃はアストラルであるかあるいは引き上げ以外だということはないかあるいは両方ともである ; $hypothesis$ = 「あの両刃はアストラルであるかあるいはそれは引き上げ以外でないかまたは両方ともだ」ということは事実でない ; $proof$ = 
事実1: あの両刃はアストラルであるかあるいは引き上げ以外だということはないかあるいは両方ともである

仮説: 「あの両刃はアストラルであるかあるいはそれは引き上げ以外でないかまたは両方ともだ」ということは事実でない