このぽにゃぽちゅLv.44は汚らしい
fact1: このぽにゃぽちゅLv.44は自殺するし潔し fact2: このぽにゃぽちゅLv.44が幼しとしたら汚らしいということはない fact3: もしこのぽにゃぽちゅLv.44が自殺するとするとこのぽにゃぽちゅLv.44は幼し
fact1 -> int1: このぽにゃぽちゅLv.44は自殺する; int1 & fact3 -> int2: このぽにゃぽちゅLv.44は幼し; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このぽにゃぽちゅLv.44は自殺するし潔し fact2: このぽにゃぽちゅLv.44が幼しとしたら汚らしいということはない fact3: もしこのぽにゃぽちゅLv.44が自殺するとするとこのぽにゃぽちゅLv.44は幼し ; $hypothesis$ = このぽにゃぽちゅLv.44は汚らしい ; $proof$ = 
fact1 -> int1: このぽにゃぽちゅLv.44は自殺する; int1 & fact3 -> int2: このぽにゃぽちゅLv.44は幼し; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__