「この国際同盟は物らしい一方で食料費でない」ということは間違っている
fact1: もしも「あの科学理論は保持機能だということはない」ということは偽であるということはないとしたら「この国際同盟は物らしい一方で食料費でない」ということは誤りである fact2: あの科学理論は保持機能でない
$facts$ = fact1: もしも「あの科学理論は保持機能だということはない」ということは偽であるということはないとしたら「この国際同盟は物らしい一方で食料費でない」ということは誤りである fact2: あの科学理論は保持機能でない ; $hypothesis$ = 「この国際同盟は物らしい一方で食料費でない」ということは間違っている ; $proof$ = 
事実1: もしも「あの科学理論は保持機能だということはない」ということは偽であるということはないとしたら「この国際同盟は物らしい一方で食料費でない」ということは誤りである
事実2: あの科学理論は保持機能でない

仮説: 「この国際同盟は物らしい一方で食料費でない」ということは間違っている