そのまゆまちょLv.24はみみっちいということはない
fact1: このぴやぴちゅLv.60は色っぽいしまた捕まえ易い fact2: このぴやぴちゅLv.60は捕まえ易い fact3: もしも「このぴやぴちゅLv.60は御出で頂くがしかしそれは意義深いということはない」ということは成り立たないとするとそのまゆまちょLv.24はみみっちくない
fact1 -> int1: このぴやぴちゅLv.60は色っぽい;
fact1 -> int1: {A}{a};
$facts$ = fact1: このぴやぴちゅLv.60は色っぽいしまた捕まえ易い fact2: このぴやぴちゅLv.60は捕まえ易い fact3: もしも「このぴやぴちゅLv.60は御出で頂くがしかしそれは意義深いということはない」ということは成り立たないとするとそのまゆまちょLv.24はみみっちくない ; $hypothesis$ = そのまゆまちょLv.24はみみっちいということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__