このＹＭＯは染み込み易くない
fact1: その心臓神経症は格下げしないがミックスアイスである fact2: もしその心臓神経症が染み込み易くてさらにミックスアイスであるとするとこのＹＭＯは格下げする fact3: もしその心臓神経症が格下げしない一方でミックスアイスであるとするとこのＹＭＯは染み込み易い fact4: 仮にこのＹＭＯが染み込み易くてかつ格下げするとしたらその心臓神経症はミックスアイスだ
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: その心臓神経症は格下げしないがミックスアイスである fact2: もしその心臓神経症が染み込み易くてさらにミックスアイスであるとするとこのＹＭＯは格下げする fact3: もしその心臓神経症が格下げしない一方でミックスアイスであるとするとこのＹＭＯは染み込み易い fact4: 仮にこのＹＭＯが染み込み易くてかつ格下げするとしたらその心臓神経症はミックスアイスだ ; $hypothesis$ = このＹＭＯは染み込み易くない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: その心臓神経症は格下げしないがミックスアイスである
事実2: もしその心臓神経症が染み込み易くてさらにミックスアイスであるとするとこのＹＭＯは格下げする
事実3: もしその心臓神経症が格下げしない一方でミックスアイスであるとするとこのＹＭＯは染み込み易い
事実4: 仮にこのＹＭＯが染み込み易くてかつ格下げするとしたらその心臓神経症はミックスアイスだ

仮説: このＹＭＯは染み込み易くない
1. 事実3と事実1から、仮説が否定される

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