この上がりトップは積もらない
fact1: この最古は腕試しである fact2: この最古が腕試しだししかもそれは潜航する fact3: もしもこの最古が見繕わないとすればこの上がりトップは積もる fact4: もしなんらかのものが潜航するとすればそれは見繕わない fact5: この上がりトップは見繕う
fact2 -> int1: この最古は潜航する; fact4 -> int2: もしこの最古が潜航するとすれば見繕うということはない; int1 & int2 -> int3: 「この最古は見繕わない」ということは本当である; int3 & fact3 -> hypothesis;
$facts$ = fact1: この最古は腕試しである fact2: この最古が腕試しだししかもそれは潜航する fact3: もしもこの最古が見繕わないとすればこの上がりトップは積もる fact4: もしなんらかのものが潜航するとすればそれは見繕わない fact5: この上がりトップは見繕う ; $hypothesis$ = この上がりトップは積もらない ; $proof$ = 
fact2 -> int1: この最古は潜航する; fact4 -> int2: もしこの最古が潜航するとすれば見繕うということはない; int1 & int2 -> int3: 「この最古は見繕わない」ということは本当である; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: この最古は腕試しである
事実2: この最古が腕試しだししかもそれは潜航する
事実3: もしもこの最古が見繕わないとすればこの上がりトップは積もる
事実4: もしなんらかのものが潜航するとすればそれは見繕わない
事実5: この上がりトップは見繕う

仮説: この上がりトップは積もらない
1. 事実2から、推論1: "この最古は潜航する"が導かれる
2. 事実4から、推論2: "もしこの最古が潜航するとすれば見繕うということはない"が導かれる
3. 推論1と推論2から、推論3: "「この最古は見繕わない」ということは本当である"が導かれる
4. 推論3と事実3から、仮説が否定される

よって、仮説が否定されました。