「とある物は打ち終わるということはないけど忍び難い」ということは本当でない
fact1: あの自主開発原油は打ち終わるということはないがしかし忍び難い
$facts$ = fact1: あの自主開発原油は打ち終わるということはないがしかし忍び難い ; $hypothesis$ = 「とある物は打ち終わるということはないけど忍び難い」ということは本当でない ; $proof$ = 
事実1: あの自主開発原油は打ち終わるということはないがしかし忍び難い

仮説: 「とある物は打ち終わるということはないけど忍び難い」ということは本当でない