「この文書等は計り知らない」ということは確かだ
fact1: 「この文書等は詳細ページでないがしかし上がり過ぎる」ということは間違いだ fact2: 仮に「この文書等は詳細ページでない一方でそれは上がり過ぎる」ということは間違っているとすればそれは計り知らない
$facts$ = fact1: 「この文書等は詳細ページでないがしかし上がり過ぎる」ということは間違いだ fact2: 仮に「この文書等は詳細ページでない一方でそれは上がり過ぎる」ということは間違っているとすればそれは計り知らない ; $hypothesis$ = 「この文書等は計り知らない」ということは確かだ ; $proof$ = 
事実1: 「この文書等は詳細ページでないがしかし上がり過ぎる」ということは間違いだ
事実2: 仮に「この文書等は詳細ページでない一方でそれは上がり過ぎる」ということは間違っているとすればそれは計り知らない

仮説: 「この文書等は計り知らない」ということは確かだ