あのぽちょぽにLv.44は疚しい
fact1: なんらかのモンスターが完成しないならばそれは疚しくて加えて冷め難い fact2: もしもこのぽくぽやLv.73が冷め難いし完成するとしたらあのぽちょぽにLv.44は疚しくない fact3: このぽくぽやLv.73は完成する fact4: もしなにがしかのモンスターが生まれ易いならば完成しない fact5: このぽくぽやLv.73は冷め難い
fact5 & fact3 -> int1: このぽくぽやLv.73は冷め難いしさらに完成する; int1 & fact2 -> hypothesis;
fact5 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis;
あのぽちょぽにLv.44は疚しい
fact7 -> int2: もしもこのぽくぽやLv.73が完成するということはないならこのぽくぽやLv.73は疚しいしそれにそれは冷め難い; fact6 -> int3: もしこのぽくぽやLv.73は生まれ易いとすれば「それは完成しない」ということは本当である;
$facts$ = fact1: なんらかのモンスターが完成しないならばそれは疚しくて加えて冷め難い fact2: もしもこのぽくぽやLv.73が冷め難いし完成するとしたらあのぽちょぽにLv.44は疚しくない fact3: このぽくぽやLv.73は完成する fact4: もしなにがしかのモンスターが生まれ易いならば完成しない fact5: このぽくぽやLv.73は冷め難い ; $hypothesis$ = あのぽちょぽにLv.44は疚しい ; $proof$ = 
fact5 & fact3 -> int1: このぽくぽやLv.73は冷め難いしさらに完成する; int1 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis; __DISPROVED__