「あのみのみにょLv.63は迷い易いしまたそれは収蔵する」ということは成り立たない
fact1: このみゆみなLv.4は迷い易い fact2: あのみのみにょLv.63は収蔵する fact3: 罪深いモンスターは憎らしくない fact4: あのみのみにょLv.63は由々しくてかつ見出だし難い fact5: あのみのみにょLv.63は迷い易い fact6: もしこのぽくぽよLv.0は憎らしくないとすると「それは聞き取り易いししかもそれは迷い易い」ということは成り立つ
fact5 -> int1: あのみのみにょLv.63は迷い易い; int1 & fact2 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
このぽくぽよLv.0は聞き取り易いしかつ収蔵する
fact8 -> int2: もしもこのぽくぽよLv.0が罪深いとしたら憎らしくない;
$facts$ = fact1: このみゆみなLv.4は迷い易い fact2: あのみのみにょLv.63は収蔵する fact3: 罪深いモンスターは憎らしくない fact4: あのみのみにょLv.63は由々しくてかつ見出だし難い fact5: あのみのみにょLv.63は迷い易い fact6: もしこのぽくぽよLv.0は憎らしくないとすると「それは聞き取り易いししかもそれは迷い易い」ということは成り立つ ; $hypothesis$ = 「あのみのみにょLv.63は迷い易いしまたそれは収蔵する」ということは成り立たない ; $proof$ = 
fact5 -> int1: あのみのみにょLv.63は迷い易い; int1 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__