このもくもゆLv.1は怖ーくない
fact1: もしもこのぽちょぽなLv.0が拙いとすればこのもくもゆLv.1は怖ーい fact2: このぽちょぽなLv.0は怖ーい fact3: このぽちょぽなLv.0は拙いしその上称する
fact3 -> int1: このぽちょぽなLv.0は拙い; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもこのぽちょぽなLv.0が拙いとすればこのもくもゆLv.1は怖ーい fact2: このぽちょぽなLv.0は怖ーい fact3: このぽちょぽなLv.0は拙いしその上称する ; $hypothesis$ = このもくもゆLv.1は怖ーくない ; $proof$ = 
fact3 -> int1: このぽちょぽなLv.0は拙い; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__