「あのまにゅまゆLv.41は四角くておまけに予測し難い」ということは事実でない
fact1: このぽいぽいLv.63は四角い fact2: あのまにゅまゆLv.41は予測し難い fact3: あのまにゅまゆLv.41は四角い
fact3 -> int1: あのまにゅまゆLv.41は四角い; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: このぽいぽいLv.63は四角い fact2: あのまにゅまゆLv.41は予測し難い fact3: あのまにゅまゆLv.41は四角い ; $hypothesis$ = 「あのまにゅまゆLv.41は四角くておまけに予測し難い」ということは事実でない ; $proof$ = 
fact3 -> int1: あのまにゅまゆLv.41は四角い; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__