「もしもこのぽわぽにゅLv.22が継続し難くないならそのぽにぽちょLv.76は程無くないけれど甚だし」ということは成り立たない
fact1: 仮にこのぽわぽにゅLv.22は継続し難いとしたら「それは犯し難くなくてかつ取り掛かり易いということはない」ということは間違いである fact2: もし「このぽわぽにゅLv.22は皮肉っぽい」ということは偽だとするとそのぽにぽちょLv.76は程無くないがしかし甚だし fact3: 仮にこのぽわぽにゅLv.22は継続し難くないなら「このぽわぽにゅLv.22は犯し難くないし取り掛かり易くない」ということは成り立たない
void -> assump1: 以下のように仮定する。このぽわぽにゅLv.22は継続し難くない; fact3 & assump1 -> int1: 「このぽわぽにゅLv.22は犯し難くないし取り掛かり易くない」ということは間違っている;
void -> assump1: ¬{A}{a}; fact3 & assump1 -> int1: ¬(¬{AA}{a} & ¬{AB}{a});
$facts$ = fact1: 仮にこのぽわぽにゅLv.22は継続し難いとしたら「それは犯し難くなくてかつ取り掛かり易いということはない」ということは間違いである fact2: もし「このぽわぽにゅLv.22は皮肉っぽい」ということは偽だとするとそのぽにぽちょLv.76は程無くないがしかし甚だし fact3: 仮にこのぽわぽにゅLv.22は継続し難くないなら「このぽわぽにゅLv.22は犯し難くないし取り掛かり易くない」ということは成り立たない ; $hypothesis$ = 「もしもこのぽわぽにゅLv.22が継続し難くないならそのぽにぽちょLv.76は程無くないけれど甚だし」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__