「あのぷちょぷにゅLv.10は説明し難いしまた聞き取り易い」ということは成り立たない
fact1: このもわもねLv.89は招集する fact2: 「このもわもねLv.89は感じ難い」ということは真実だ fact3: もしもこのもわもねLv.89が感じ難いしそれが招集するとしたらそのぽくぽねLv.51は制さない
fact2 & fact1 -> int1: このもわもねLv.89は感じ難くて加えてそれは招集する; int1 & fact3 -> int2: そのぽくぽねLv.51は制さない;
fact2 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> int2: ¬{C}{b};
$facts$ = fact1: このもわもねLv.89は招集する fact2: 「このもわもねLv.89は感じ難い」ということは真実だ fact3: もしもこのもわもねLv.89が感じ難いしそれが招集するとしたらそのぽくぽねLv.51は制さない ; $hypothesis$ = 「あのぷちょぷにゅLv.10は説明し難いしまた聞き取り易い」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__