その太陽黒点数はＥＲＰ‐ＣＴだ
fact1: もしもこの化け物が少数だけど身悶えないならばその太陽黒点数はＥＲＰ‐ＣＴでない fact2: この化け物は少数である一方で身悶えない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: もしもこの化け物が少数だけど身悶えないならばその太陽黒点数はＥＲＰ‐ＣＴでない fact2: この化け物は少数である一方で身悶えない ; $hypothesis$ = その太陽黒点数はＥＲＰ‐ＣＴだ ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもこの化け物が少数だけど身悶えないならばその太陽黒点数はＥＲＰ‐ＣＴでない
事実2: この化け物は少数である一方で身悶えない

仮説: その太陽黒点数はＥＲＰ‐ＣＴだ
1. 事実1と事実2から、仮説が否定される

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