このもよもにゅLv.7は真っ黒い
fact1: 何らかのモンスターは心深し fact2: 仮に「心深し」モンスターがいるとするとこのもよもにゅLv.7は真っ黒くない fact3: 仮にこのもよもにゅLv.7が色好かないとすればこのぽちゅぽちょLv.60は真っ黒くないけど心深し
fact1 -> int1: 何らかのモンスターは心深し; int1 & fact2 -> hypothesis;
fact1 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis;
このぽちゅぽちょLv.60は真っ黒くない
$facts$ = fact1: 何らかのモンスターは心深し fact2: 仮に「心深し」モンスターがいるとするとこのもよもにゅLv.7は真っ黒くない fact3: 仮にこのもよもにゅLv.7が色好かないとすればこのぽちゅぽちょLv.60は真っ黒くないけど心深し ; $hypothesis$ = このもよもにゅLv.7は真っ黒い ; $proof$ = 
fact1 -> int1: 何らかのモンスターは心深し; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis; __DISPROVED__