あのぽちょぽのLv.7はどでかくてそれは小汚い
fact1: あのぽにゅぽにゅLv.65は目的無しし扱い難い fact2: あのぽちょぽのLv.7は雪深い fact3: あのぽにゅぽにゅLv.65が晒され易いしその上それは扱い難い fact4: 「あのぽにゅぽにゅLv.65は扱い難い」ということは正しい fact5: 「あのぽちょぽのLv.7は小汚い」ということは成り立つ fact6: もしあのぽにゅぽにゅLv.65が目的無しとするとそのぽのぽえLv.12は晒され易い fact7: もしもそのぽのぽえLv.12が晒され易いならばこのぷえぷえLv.84は継続し難い
fact1 -> int1: あのぽにゅぽにゅLv.65は目的無し; int1 & fact6 -> int2: そのぽのぽえLv.12は晒され易い; int2 & fact7 -> int3: このぷえぷえLv.84は継続し難い;
fact1 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact7 -> int3: {D}{c};
$facts$ = fact1: あのぽにゅぽにゅLv.65は目的無しし扱い難い fact2: あのぽちょぽのLv.7は雪深い fact3: あのぽにゅぽにゅLv.65が晒され易いしその上それは扱い難い fact4: 「あのぽにゅぽにゅLv.65は扱い難い」ということは正しい fact5: 「あのぽちょぽのLv.7は小汚い」ということは成り立つ fact6: もしあのぽにゅぽにゅLv.65が目的無しとするとそのぽのぽえLv.12は晒され易い fact7: もしもそのぽのぽえLv.12が晒され易いならばこのぷえぷえLv.84は継続し難い ; $hypothesis$ = あのぽちょぽのLv.7はどでかくてそれは小汚い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__