この洞結節はアキラ・メジャーでない
fact1: 「この大型棺は紙面であるけど由々しない」ということは成り立たない fact2: 仮にこの大型棺が紙面でないとしたらこの洞結節はアキラ・メジャーである fact3: 仮に「この大型棺は紙面であるが由々しない」ということは成り立たないならこの洞結節はアキラ・メジャーだ
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: 「この大型棺は紙面であるけど由々しない」ということは成り立たない fact2: 仮にこの大型棺が紙面でないとしたらこの洞結節はアキラ・メジャーである fact3: 仮に「この大型棺は紙面であるが由々しない」ということは成り立たないならこの洞結節はアキラ・メジャーだ ; $hypothesis$ = この洞結節はアキラ・メジャーでない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: 「この大型棺は紙面であるけど由々しない」ということは成り立たない
事実2: 仮にこの大型棺が紙面でないとしたらこの洞結節はアキラ・メジャーである
事実3: 仮に「この大型棺は紙面であるが由々しない」ということは成り立たないならこの洞結節はアキラ・メジャーだ

仮説: この洞結節はアキラ・メジャーでない
1. 事実3と事実1から、仮説が否定される

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