退色し易いということは生じない
fact1: ぽのぽにょLv.69事件および固いということどちらもが生じる fact2: 黒いということが起きる fact3: 辛気臭いということが生じる fact4: みにゅみにゃLv.60事件が生じる fact5: 退色し易いということはぽのぽにょLv.69事件に誘発される fact6: 固いということが発生する
fact1 -> int1: ぽのぽにょLv.69事件が発生する; int1 & fact5 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> hypothesis;
$facts$ = fact1: ぽのぽにょLv.69事件および固いということどちらもが生じる fact2: 黒いということが起きる fact3: 辛気臭いということが生じる fact4: みにゅみにゃLv.60事件が生じる fact5: 退色し易いということはぽのぽにょLv.69事件に誘発される fact6: 固いということが発生する ; $hypothesis$ = 退色し易いということは生じない ; $proof$ = 
fact1 -> int1: ぽのぽにょLv.69事件が発生する; int1 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact5 -> hypothesis; __DISPROVED__