「仮に「凭せ掛けるかあるいは交互無でないかあるいは両方である」ということは事実と異なるとすれば「ミダゾラムでない」ということは成り立つ」ものはある
fact1: もし「この宇宙神霊は凭せ掛けるかもしくは交互無であるということはない」ということは間違っていればミダゾラムでない
$facts$ = fact1: もし「この宇宙神霊は凭せ掛けるかもしくは交互無であるということはない」ということは間違っていればミダゾラムでない ; $hypothesis$ = 「仮に「凭せ掛けるかあるいは交互無でないかあるいは両方である」ということは事実と異なるとすれば「ミダゾラムでない」ということは成り立つ」ものはある ; $proof$ = 
事実1: もし「この宇宙神霊は凭せ掛けるかもしくは交互無であるということはない」ということは間違っていればミダゾラムでない

仮説: 「仮に「凭せ掛けるかあるいは交互無でないかあるいは両方である」ということは事実と異なるとすれば「ミダゾラムでない」ということは成り立つ」ものはある