「この存亡は忘れ易いかもしくは困り切るということはないか両方である」ということは事実だということはない
fact1: もし「あの効率性向上は忌まわしい」ということは事実ならばこの存亡は忘れ易いかもしくはそれは困り切らない fact2: あの効率性向上は忌まわしい
$facts$ = fact1: もし「あの効率性向上は忌まわしい」ということは事実ならばこの存亡は忘れ易いかもしくはそれは困り切らない fact2: あの効率性向上は忌まわしい ; $hypothesis$ = 「この存亡は忘れ易いかもしくは困り切るということはないか両方である」ということは事実だということはない ; $proof$ = 
事実1: もし「あの効率性向上は忌まわしい」ということは事実ならばこの存亡は忘れ易いかもしくはそれは困り切らない
事実2: あの効率性向上は忌まわしい

仮説: 「この存亡は忘れ易いかもしくは困り切るということはないか両方である」ということは事実だということはない