「このカルシウム不足は税だ」ということは本当である
fact1: マリンはある fact2: 「ＩＡＲＣであるということはない」物はある fact3: 何かはマリンだがそれはＩＡＲＣでない fact4: もし仮にマリンがＩＡＲＣでないとするとこのカルシウム不足は税でない
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
$facts$ = fact1: マリンはある fact2: 「ＩＡＲＣであるということはない」物はある fact3: 何かはマリンだがそれはＩＡＲＣでない fact4: もし仮にマリンがＩＡＲＣでないとするとこのカルシウム不足は税でない ; $hypothesis$ = 「このカルシウム不足は税だ」ということは本当である ; $proof$ = 
fact3 & fact4 -> hypothesis; __DISPROVED__
事実1: マリンはある
事実2: 「ＩＡＲＣであるということはない」物はある
事実3: 何かはマリンだがそれはＩＡＲＣでない
事実4: もし仮にマリンがＩＡＲＣでないとするとこのカルシウム不足は税でない

仮説: 「このカルシウム不足は税だ」ということは本当である
1. 事実3と事実4から、仮説が否定される

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