そのヤンキースはマス・スクリーニングでない
fact1: なにかは故無いしさらにそれは聞き易い fact2: 「故無い」ものはある fact3: 「聞き易い」ものはある fact4: もし故無いし聞き易いものがあるとするとそのヤンキースはマス・スクリーニングであるということはない
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
$facts$ = fact1: なにかは故無いしさらにそれは聞き易い fact2: 「故無い」ものはある fact3: 「聞き易い」ものはある fact4: もし故無いし聞き易いものがあるとするとそのヤンキースはマス・スクリーニングであるということはない ; $hypothesis$ = そのヤンキースはマス・スクリーニングでない ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: なにかは故無いしさらにそれは聞き易い
事実2: 「故無い」ものはある
事実3: 「聞き易い」ものはある
事実4: もし故無いし聞き易いものがあるとするとそのヤンキースはマス・スクリーニングであるということはない

仮説: そのヤンキースはマス・スクリーニングでない
1. 事実1と事実4から、仮説が導かれる

よって、仮説が証明されました。