「「このぽにゅぽちゅLv.12は輝かしということはないかそれは口汚いかあるいはどちらもである」ということは成り立たない」ということは確かである
fact1: 「あのぽゆぽにゃLv.3は滾る」ということは成り立つ
fact1 -> int1: 「あのぽゆぽにゃLv.3は滾る」ということは成り立つ;
fact1 -> int1: {A}{a};
$facts$ = fact1: 「あのぽゆぽにゃLv.3は滾る」ということは成り立つ ; $hypothesis$ = 「「このぽにゅぽちゅLv.12は輝かしということはないかそれは口汚いかあるいはどちらもである」ということは成り立たない」ということは確かである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__